improve index generation and pagerefs

[nobug] / doc / nobug_manual.conf

diff --git a/doc/nobug_manual.conf b/doc/nobug_manual.conf
index 06b52c7..bd7afed 100644 (file)
--- a/doc/nobug_manual.conf
+++ b/doc/nobug_manual.conf
@@ -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.
 //_ *****************************************************************
 //_
@@ -92,11 +92,10 @@
 //=dlalgo
 
 //_
-//_ Index
-//_ -----
+//_ Reference Index
+//_ ---------------
 //_
-Todo index only for html generation, other dockbook toolchains generate
-the index automatically
+//_ [dotted]
 //=index
 //_