Re: javadoc problem with default-jdk
Le Wed, 05 Aug 2009 18:05:11 +0200,
Matthias Klose <doko@ubuntu.com> a écrit :
> No, this looks wrong, because you cannot enforce this for packages
> where the docs are shipped in the same package. You should
> use /usr/share/doc/<lib
> package>/api, and maybe add a directory /usr/share/doc/<doc package>
> package>with an api
> symlink to /usr/share/doc/<lib package>/api, if the docs are in a
> separate package.
this way all the documentation could be found in /usr/share/doc/<lib
package>/api. The policy should enforce to split lib package in the .jar
files and -doc for the api documentation. thah way it would be easy to
compute the doc dependency from the library dependency. And to reduce
the size of the java runtime for system with low space like embeded
devices.
the java-default-doc should provide, using the alternative, the right
location for the standard api documentation.
Frederic
Reply to: