improve index generation and pagerefs

[nobug] / doc / nobug_manual.conf

diff --git a/doc/nobug_manual.conf b/doc/nobug_manual.conf
index 2966168..bd7afed 100644 (file)
--- a/doc/nobug_manual.conf
+++ b/doc/nobug_manual.conf
@@ -1,7 +1,23 @@
-//_ NoBug
-//_ =====
+//_ NoBug Reference Manual
+//_ ======================
 //_ Christian_Thäter,_Benny_Lyons
 //_
+//_ [abstract]
+//_ *****************************************************************
+//_ NoBug is a debugging library for instrumenting C and C++ programs
+//_ inspired by ideas originating from Design-by-Contract.
+//_ *****************************************************************
+//_
+//_ [quote]
+//_ __________________________________________________________________
+//_ Everyone makes mistakes, but with NoBug you won't make them twice!
+//_ __________________________________________________________________
+//_
+//_ ifdef::basebackend-latex[]
+//_ Contents
+//_ --------
+//_ endif::basebackend-latex[]
+//_
 //=overview
 //=buildinstall
 
@@ -19,10 +35,17 @@
 
 //=predefflags
 
+//=logflagsexample
+
+//=logformat
+
 //=macros
 
+
 //=parametertable
 
+//=srccontext
+
 //=assertions
 
 //=logmacros
@@ -40,6 +63,8 @@
 
 //=faultinjection
 
+//=coverageintro
+//=coverage
 
 //=resourcetracking
 //=resourcemacros
@@ -67,12 +92,18 @@
 //=dlalgo
 
 //_
-//_ Index
-//_ -----
+//_ Reference Index
+//_ ---------------
 //_
-Todo index only for html generation, other dockbook toolchains generate
-the index automatically
+//_ [dotted]
 //=index
 //_
 
 //=license
+
+//_ Credits
+//_ -------
+//_
+//=credits
+
+