Russ Allbery <[email protected]> writes:
> I'm hesitant to recommend moving the documentation to /usr/share/doc/foo
> when we've always put it in a directory named after the package in the
> past; I'm afraid long-time Debian users won't be able to find it.

I'd certainly be confused!

Being able to just look in /usr/share/doc/PKG is really, really,
convenient, even if it only contains symlinks/pointers/whatever
referring to the "real" location.

Otherwise looking for related documentation becomes a guessing game
(OK, I guess one can do "dpkg -L pkg | grep /usr/share/doc", but ...).

Thanks,

-miles

-- 
"Most attacks seem to take place at night, during a rainstorm, uphill,
 where four map sheets join."   -- Anon. British Officer in WW I



-- 
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
Archive: http://lists.debian.org/[email protected]

Reply via email to