Hi again, moving them was not trivial. For a clean solution I had to patch doxygen. I've, made an upstream pull-request:
https://github.com/doxygen/doxygen/pull/90 Hopefully I'll propagte to debian before too long. Otherwise we'll hack differently... On Sun, Jan 5, 2014 at 12:17 PM, Hakan Ardo <ha...@debian.org> wrote: > 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ö -- 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
