diff options
| author | Dimitri van Heesch <dimitri@stack.nl> | 2014-02-03 20:25:47 (GMT) |
|---|---|---|
| committer | Dimitri van Heesch <dimitri@stack.nl> | 2014-02-03 20:25:47 (GMT) |
| commit | cd68727a749fb2d3fd7ade308a080646989564a2 (patch) | |
| tree | 3aa14ef8d1827632ad089f5103a8cfe5f3ed0980 /src/config.xml | |
| parent | 2b6e3f0955951ce712176e1a98fca1295f634302 (diff) | |
| parent | 83b344db49b27bf68994eb8ec6be87d6d0f24e86 (diff) | |
| download | Doxygen-cd68727a749fb2d3fd7ade308a080646989564a2.zip Doxygen-cd68727a749fb2d3fd7ade308a080646989564a2.tar.gz Doxygen-cd68727a749fb2d3fd7ade308a080646989564a2.tar.bz2 | |
Merge pull request #90 from hakanardo/mansubdir
MAN_SUBDIR parameter
Diffstat (limited to 'src/config.xml')
| -rw-r--r-- | src/config.xml | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/config.xml b/src/config.xml index e172345..f8d4a13 100644 --- a/src/config.xml +++ b/src/config.xml @@ -2689,6 +2689,15 @@ EXTRA_PACKAGES=times ]]> </docs> </option> + <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 + in which the man pages are placed. If defaults to man followed by \c MAN_EXTENSION + with the initial . removed. +]]> + </docs> + </option> <option type='bool' id='MAN_LINKS' defval='0' depends='GENERATE_MAN'> <docs> <![CDATA[ |