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 the Javadoc of the core Java
classes.

I see, but couldn't these dependencies just be "recommended"?

I know it's a stupid reason, but if you install jetty8 and libjetty8-java-doc and you configure Jetty to start, a welcome page for Jetty in Debian is deployed in the server instance with a link to the Jetty 8 Javadoc. Even if we assume that this link works (I just reported another bug for that), it means that to just have that "example webapp" working correctly you'll have to download 240 MB of documentation which I doubt would even work from within the Jetty instance itself, because links to JDK or Servlet Javadocs would point to files outside the Jetty 8 configured directories (I didn't try, though).

Also, if you just install the jetty8 package without the libjetty8-java-doc one, you'll get a default welcome page in Jetty with a link to some missing contents (=> the Javadoc documentation, as said). This however doesn't justify a strong dependency between jetty8 and libjetty8-java-doc just for a simple hyper-linking issue.

Anyway, I'm not so presumptuous to suggest to change a convention used for all the Debian packages for javadoc documentation sets, I just wanted to give my 2 cents on this.

Mauro

__
This is the maintainer address of Debian's Java team
<http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-java-maintainers>. 
Please use
[email protected] for discussions and questions.

Reply via email to