Package: libjetty8-java-doc
Version: 8.1.3-4
Severity: important
Dear Maintainer,
if I try to do the following on my system:
aptitude install libjetty8-java-doc
the system says (I'm translating from Italian):
The following NEW packages will be installed:
default-jdk-doc{a} libgnuinet-java{a}
Il 31/10/2013 14:07, Emmanuel Bourg ha scritto:
The JDK documentation alone uses about 240 MB. Almost all Java
documentation packages depend on this, but you have to pay the price
only once. The dependency is necessary to have nice links between the
Javadoc of the package specific classes and
Package: jetty8
Version: 8.1.3-4
Severity: important
Dear Maintainer,
I think some files are missing from jetty8 package.
First of all, the official Jetty documentation talks about a context deployer
which monitors the ${jetty.home}/contexts directory to hot deploy webapps
configured using
Il 06/10/2014 12:09, Emmanuel Bourg ha scritto:
libjetty8-java-doc already recommends default-jdk-doc, maybe you meant
suggested instead?
I may have used the wrong terms here, sorry. What I find questionable is
that, as I said in my original report, if I try to install
libjetty8-java-doc,
Il 09/10/2014 09:47, Jan Henke ha scritto:
Hi, I do think it is reasonable to assume that installing an optional
documentation package of one component normally also installs the
documentation for other related packages. Especially it does seem to
be logical to have default-jdk-doc installed
5 matches
Mail list logo
