El sábado, 13 de mayo de 2006 23:47, Russ Allbery escribió: > > What should we do about this? I am thinking of bugging upstream, but I > > would like Daniel's opinion for example, as you could have fallen into > > this pit some time ago. > > You can install the man page in /usr/share/man/man4 with a .4x extension > instead of a .4 extension to avoid the conflict that way but still use the > standard directory. I'm not sure if that's the best approach; it's a > little unintuitive for the user to find the man page that way. But there > are other naming conflicts in Debian avoided that way. You were absolutely right. I did not even consider to alter only the suffix, given that altering the extension, the configure script was altering the mandir as well. You were very fast with your answer, and I had time to make the modification before uploading. Now I ship /usr/share/man/man4/mouse.4x.gz! Thank you very much for your advice, Russ. Best regards, Ender. -- Uh, we had a slight weapons malfunction, but uh... everything's perfectly all right now. We're fine. We're all fine here now, thank you. How are you? -- Han Solo (Star Wars). -- Desarrollador de Debian Debian developer
Attachment:
pgpH90Sr7rDH2.pgp
Description: PGP signature