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 [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
