diff -r fde7814bfd2d -r dcfb68446843 doc/Doxyfile
--- a/doc/Doxyfile	Mon May 03 09:18:01 2004 +0000
+++ b/doc/Doxyfile	Mon May 03 09:38:17 2004 +0000
@@ -392,7 +392,8 @@
 # with spaces.
 
 INPUT                  = mainpage.dox \
-                         maps.dox groups.dox \
+                         maps.dox coding_style.dox \
+                         groups.dox \
                          ../src/include \
                          ../src/include/skeletons \
                          ../src/work/alpar/list_graph.h \