>>>>> Hakan Ardo <ha...@debian.org> writes: >>>>> On Sun, Jan 5, 2014 at 12:17 PM, Hakan Ardo <ha...@debian.org> wrote: >>>>> On Fri, Jan 3, 2014 at 10:19 AM, Ivan Shmakov <i...@siamics.net> wrote:
[…] >>> … 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.? […] >> OK, we'll rename them and move them again. > 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... Deferring the fix until a fixed version of Doxygen enters Debian doesn’t seem like all that good an idea. Especially given that the correct placement of the files comprising a Debian package was conventionally (AIUI) the responsibility of debian/rules. If necessary, the .TH or .Dt *roff command (as used by dh_installman(1)) may be fixed (or added) with sed(1). -- FSF associate member #7257 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org