Le Wed, 05 Aug 2009 18:05:11 +0200, Matthias Klose <d...@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 -- To UNSUBSCRIBE, email to debian-java-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
