GNOME Bugzilla – Bug 730418
man page extension is incorrect
Last modified: 2014-09-26 11:42:06 UTC
If I change MAN_EXTENSION to something else than .3 the extension is appended to the string ".3" instead of replacing the default extension. For example I wanted to generate man pages with extension .9 and wrote MAN_EXTENSION = .9 to the doxyfile. Now instead of man9 directory and *.9 files I have a directory called man39 and bunch of man pages named *.39.
I've just send a proposed patch to github (pull request 173)
I'm not expert on this subject but it seems to me that at least GNU man doesn't understand section names with more than one letter. So based on that I don't think it's good idea to ever append anything after '3' or any other number, unless there is some special use for it in Doxygen? Another thing is that section names like 'n', 'x' and 'p' seems to be quite usual, even not mentioned in the POSIX standard afaik. So those could be allowed too if not already allowed.
Can you give a link to the the Posix standard where the man extension is described?
Hmmh... seems that POSIX doesn't speak much about how man pages should be stored or sectioned. Wikipedia however mentions some common sections available in different systems: http://en.wikipedia.org/wiki/Man_page#Manual_sections Interestingly there is actually section called '1M' in System V, so possibly some systems may then have a support for arbitrarily named sections. So this is the only specification about behavior of map pages I could locate: http://pubs.opengroup.org/onlinepubs/9699919799/utilities/man.html "no attempt is made to specify naming conventions for reference page files, nor even to mandate that they are files at all"
This bug was previously marked ASSIGNED, which means it should be fixed in doxygen version 1.8.8. Please verify if this is indeed the case. Reopen the bug if you think it is not fixed and please include any additional information that you think can be relevant (preferrably in the form of a self-contained example).