improve index generation and pagerefs
[nobug] / doc / nobug_manual.conf
index 4af1a8d..bd7afed 100644 (file)
@@ -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
 
 
 //=predefflags
 
+//=logflagsexample
+
+//=logformat
+
 //=macros
 
+
 //=parametertable
 
 //=srccontext
@@ -42,6 +63,8 @@
 
 //=faultinjection
 
+//=coverageintro
+//=coverage
 
 //=resourcetracking
 //=resourcemacros
 //=dlalgo
 
 //_
-//_ Index
-//_ -----
+//_ Reference Index
+//_ ---------------
 //_
-Todo index only for html generation, other dockbook toolchains generate
-the index automatically
+//_ [dotted]
 //=index
 //_
 
 //=license
+
+//_ Credits
+//_ -------
+//_
+//=credits
+
+