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/
Points which are still to decide:
- which name to use for javadoc package ?
debian use -doc for the
>- should we contact FHS about this new directory (/usr/share/javadoc) ?
Yes
>- 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
>docu
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/
Points which are still to decide:
- which name to use for javadoc package ?
debian use -doc for th
>- should we contact FHS about this new directory (/usr/share/javadoc) ?
Yes
>- 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
>doc
4 matches
Mail list logo