OK, we'll rename them and move them again. On Fri, Jan 3, 2014 at 10:19 AM, Ivan Shmakov <i...@siamics.net> wrote: > fixed 733603 1:1.8.0-4 > thanks > >>>>>> Hakan Ardo <ha...@debian.org> writes: >>>>>> On Mon, Dec 30, 2013 at 11:40 AM, Simon Kainz wrote: > > >> After inspecting avr-man, i see the line: > > >> exec man -M /usr/share/doc/avr-libc/man "$@" > > >> But the path /usr/share/doc/avr-libc/man is not created by > >> installing avr-libc nor is it by any other package. > > > the manpages was moved there in version 1.8.0-4, currently in > > testing. > > I’m thus marking the bug as fixed there (so it would be archived > when the current stable won’t be supported anymore.) > > > In the version in stable they reside in /usr/lib/share/man/man3/ > > … However, I don’t seem to understand the choice of either > location. Isn’t it customary to use /usr/share/man for > everything in Debian, possibly adding appropriate suffixes to > the filenames, as in: readline.3readline.gz, TIFFsize.3tiff.gz, > Encode::Unicode.3perl.gz, and thus, presumably, floor.3avr.gz, > random_r.3avr.gz, etc.? > > Going this way, there’s no need for any MANPATH tweaking, and > even the manual page browsers that are not based on man(1) (such > as Emacs’ woman.el) will just work “out of box.” > > -- > FSF associate member #7257
-- Håkan Ardö -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
