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

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: