diff options
author | Hakan Ardo <hakan@debian.org> | 2014-01-14 13:30:24 (GMT) |
---|---|---|
committer | Hakan Ardo <hakan@debian.org> | 2014-01-14 13:30:24 (GMT) |
commit | 83b344db49b27bf68994eb8ec6be87d6d0f24e86 (patch) | |
tree | c6aba6791d884cdd9d7a0d06d24a64a654288598 /src/config.xml | |
parent | c5bc9fc8c407aac845d594b2685d0c92699727d8 (diff) | |
download | Doxygen-83b344db49b27bf68994eb8ec6be87d6d0f24e86.zip Doxygen-83b344db49b27bf68994eb8ec6be87d6d0f24e86.tar.gz Doxygen-83b344db49b27bf68994eb8ec6be87d6d0f24e86.tar.bz2 |
Make the MAN_SUBDIR setting overide the name of the directry the man pages are placed in.
Diffstat (limited to 'src/config.xml')
-rw-r--r-- | src/config.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/config.xml b/src/config.xml index 90890f8..a3d3a76 100644 --- a/src/config.xml +++ b/src/config.xml @@ -2689,7 +2689,7 @@ EXTRA_PACKAGES=times ]]> </docs> </option> - <option type='string' id='MAN_SUBDIR' format='string' defval='man3' depends='GENERATE_MAN'> + <option type='string' id='MAN_SUBDIR' format='string' defval='' depends='GENERATE_MAN'> <docs> <![CDATA[ The \c MAN_SUBDIR tag determines the name of the directory created within \c MAN_OUTPUT |