Re: policy proposition for javadoc installation
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Bill Wohler <wohler@newt.com> writes:
> Ola Lundqvist <opal@debian.org> writes:
> > Why not use /usr/share/doc/javadoc instead?
> > I think it a better place, easier to find and more consistent.
>
> Ola,
>
> The precedent is for /usr/share/javadoc.
>
> Consider /usr/share/man and /usr/share/info. Are there others?
Man and info are basically their own formats... javadoc is just html.
but I see your point.
> The directories under /usr/share/doc/ are all associated with particular
> packages (counter examples?), whereas the /usr/share/javadoc,
> /usr/share/man, and /usr/share/info directories contain a certain type of
> documentation for groups of packages.
>
> p.s. A "general" name of apidoc would be bad.
agreed.
> We'd only do that if we moved all of /usr/share/man and /usr/share/info in
> there; otherwise what would be the point? And doing so would be like putting
> a square peg into a round hole. Let's stick to javadoc.
<snip>
- --
Kevin A. Burton ( burton@apache.org, burton@openprivacy.org, burtonator@acm.org )
Location - San Francisco, CA, Cell - 415.595.9965
Jabber - burtonator@jabber.org, Web - http://relativity.yi.org/
Goodness defeated is stronger than evil triumphant.
- Martin Luther King, Jr.
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.6 (GNU/Linux)
Comment: Get my public key at: http://relativity.yi.org/pgpkey.txt
iD8DBQE763aRAwM6xb2dfE0RAn70AJ9cx7fbi+jnPBtXKF6SiwGmgmUW2ACdHuXu
f4v0hMeXwNx4lkE2LNLcIR0=
=5EqT
-----END PGP SIGNATURE-----
Reply to: