Russ Allbery <r...@debian.org> 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 debian-devel-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/87wrmhv58t....@catnip.gol.com
