Hello Colin, On Sun, Sep 25, 2022 at 10:52:31PM +0100, Colin Watson wrote: > While I understand this, please note section 12.1 of the Debian Policy > Manual: > > If you do not create any links (whether symlinks, hard links, or .so > directives) in the file system to the alternate names of the man page, > then you should not rely on man finding your man page under those > names based solely on the information in the man page's header. > > The arrangements to make things work without symlinks are extremely > complicated and fragile. If that's what's going on here, then I would > implore you to rethink and add the symlinks (perhaps it could be > automated in your build system without too much trouble).
Thanks for pointing out policy, I wasn't aware this was discussed
there.
I'll review this with upstream, if/how we can create the symlinks. I
had hoped to avoid creating code for this, but that's life.
Greetings
Helge
--
Dr. Helge Kreutzmann deb...@helgefjell.de
Dipl.-Phys. http://www.helgefjell.de/debian.php
64bit GNU powered gpg signed mail preferred
Help keep free software "libre": http://www.ffii.de/
signature.asc
Description: PGP signature
