improve index generation and pagerefs
[nobug] / doc / nobug_manual.conf
index 06b52c7..bd7afed 100644 (file)
@@ -4,7 +4,7 @@
 //_
 //_ [abstract]
 //_ *****************************************************************
-//_ Nobug is a debugging library for instrumenting C and C++ programs
+//_ NoBug is a debugging library for instrumenting C and C++ programs
 //_ inspired by ideas originating from Design-by-Contract.
 //_ *****************************************************************
 //_
 //=dlalgo
 
 //_
-//_ Index
-//_ -----
+//_ Reference Index
+//_ ---------------
 //_
-Todo index only for html generation, other dockbook toolchains generate
-the index automatically
+//_ [dotted]
 //=index
 //_