diff -r 16980bf77bd3 -r b143e42c44de doc/Doxyfile
--- a/doc/Doxyfile	Wed Mar 30 13:01:58 2005 +0000
+++ b/doc/Doxyfile	Wed Mar 30 14:29:11 2005 +0000
@@ -462,6 +462,7 @@
 			 gwrappers.dox \
                          ../src/lemon \
                          ../src/lemon/concept \
+                         ../src/demo \
                          ../src/test/test_tools.h
 
 # If the value of the INPUT tag contains directories, you can use the 
@@ -766,7 +767,8 @@
 # The EXTRA_PACKAGES tag can be to specify one or more names of LaTeX 
 # packages that should be included in the LaTeX output.
 
-EXTRA_PACKAGES         = 
+EXTRA_PACKAGES         = amsmath \ 
+			 amssymb
 
 # The LATEX_HEADER tag can be used to specify a personal LaTeX header for 
 # the generated latex document. The header should contain everything until