[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

[summary] Re: policy proposition for javadoc installation

According to discussion, it seems we agreed on following points:
- have standard documentation and javadoc documentation in differents packages
- install javadoc documentation in /usr/share/javadoc/<package>

Points which are still to decide:
- which name to use for javadoc package ?
debian use -doc for their standard documentation package, so -javadoc would 
be consistent
jpackage use -manual, so -javadoc would be less consistent (unless we switch 
to -doc also, of course)
-dev could also be used in both case, as suggested by some peoples, but IMHO 
would be confusing with native packages where it -dev is no specifically 
documentation, but headers and static libs

- should we contact FHS about this new directory (/usr/share/javadoc) ?

- is cross-linking of javadoc an interesting/achievable feature ?
When building foo package, depending of bar package, add -linkoffline 
/usr/share/javadoc/bar option to javadoc would provide cross-linked api 

Subsidiary question (personal curiosity):
i know ant documentation comes in ant-doc package on debian. But is it 
installed in /usr/share/doc/ant (using the main package name) or 
/usr/share/doc/ant-doc (using the actual documentation package name) 
directory ?
On rpm system (at least mandrake), /usr/share/doc/ant contains basic 
readme.txt, license.txt, etc, while real manual get installed in 
This is important as we have to decide if ant javadoc will go in 
/usr/share/javadoc/ant or /usr/share/javadoc/ant-javadoc :-)
Guillaume Rousse <rousse@ccr.jussieu.fr>
GPG key http://lis.snv.jussieu.fr/~rousse/gpgkey.html

Reply to: