Change man section

This commit is contained in:
pjht 2020-07-26 07:15:57 -05:00
parent 7764169dd6
commit d892e14633

View File

@ -2018,7 +2018,7 @@ MAN_OUTPUT = man
# The default value is: .3.
# This tag requires that the tag GENERATE_MAN is set to YES.
MAN_EXTENSION = .9o
MAN_EXTENSION = .9
# The MAN_SUBDIR tag determines the name of the directory created within
# MAN_OUTPUT in which the man pages are placed. If defaults to man followed by