changeset 9961 | 5c062b07d3f7 |
parent 9111 | 48ce04029fe4 |
--- a/Doxyfile Wed Aug 20 21:36:46 2008 +0000 +++ b/Doxyfile Wed Aug 20 22:43:19 2008 +0000 @@ -158,7 +158,7 @@ #--------------------------------------------------------------------------- # configuration options related to the man page output #--------------------------------------------------------------------------- -GENERATE_MAN = YES +GENERATE_MAN = NO MAN_OUTPUT = man MAN_EXTENSION = .3 MAN_LINKS = NO