summaryrefslogtreecommitdiffstats
path: root/doc
diff options
context:
space:
mode:
Diffstat (limited to 'doc')
-rw-r--r--doc/config.doc2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/config.doc b/doc/config.doc
index dc909da..55774fb 100644
--- a/doc/config.doc
+++ b/doc/config.doc
@@ -837,13 +837,13 @@ EXTRA_PACKAGES = times
put in front of it. If left blank `man' will be used as the default path.
A directory man3 will be created inside the directory specified by
\c MAN_OUTPUT.
-</dl>
\anchor cfg_man_extension
<dt>\c MAN_EXTENSION <dd>
\addindex MAX_EXTENSION
The \c MAN_EXTENSION tag determines the extension that is added to
the generated man pages (default is the subroutine's section .3)
+</dl>
\subsection config_prepro Preprocessor related options
\anchor cfg_enable_preprocessing