From 9b28530018c59ce65519f49e8095ecd58b082c87 Mon Sep 17 00:00:00 2001
From: Dimitri van Heesch <dimitri@stack.nl>
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.
-</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
-- 
cgit v0.12