Re: /usr/doc
On Sun, 21 Jul 2002, Joey Hess wrote:
> Adam Heath wrote:
> > Otherwise, suddenly /usr/doc becomes empty, and those that access
> > documentation thru that location suddenly can't.
>
> Um, those people have had a major release of debian which documents that
> the docs are in /usr/share/doc, and several years to become prepared for
> this change. That's why the transition was done this way in the first
> please.
So, you'd rather see a half-empty /usr/doc, which is not very useful, then to
have a script, that links /usr/doc to share/doc, and would not cause any loss
of functionality?
/usr/doc is much shorter to type, than /usr/share/doc.
--
To UNSUBSCRIBE, email to debian-policy-request@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
Reply to: