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,
Am 09.10.2014 um 09:27 schrieb Mauro Molinari:
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
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
Am 09.10.2014 um 10:06 schrieb Mauro Molinari:
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
Le 31/10/2013 14:47, Mauro Molinari a écrit :
I see, but couldn't these dependencies just be recommended?
libjetty8-java-doc already recommends default-jdk-doc, maybe you meant
suggested instead?
Anyway, I'm not so presumptuous to suggest to change a convention used
for all the Debian
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}
Hi Mauro,
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 the Javadoc of the core Java
classes.
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
8 matches
Mail list logo
