[summary] Re: policy proposition for javadoc installation

2001-11-23 Thread Guillaume Rousse
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

RE: [summary] Re: policy proposition for javadoc installation

2001-11-23 Thread GOMEZ Henri
>- 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

[summary] Re: policy proposition for javadoc installation

2001-11-23 Thread Guillaume Rousse
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

RE: [summary] Re: policy proposition for javadoc installation

2001-11-23 Thread GOMEZ Henri
>- 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