From 1b2fd16cd8ed1830a7743a55dc1b9ec3ec59ad98 Mon Sep 17 00:00:00 2001 From: dimitri Date: Mon, 26 Jun 2000 17:35:59 +0000 Subject: Fixed small bug --- doc/config.doc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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. - \anchor cfg_man_extension
\c MAN_EXTENSION
\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) + \subsection config_prepro Preprocessor related options \anchor cfg_enable_preprocessing -- cgit v0.12