diff -r d4acebef7276 -r 0274efa2222f doc/Doxyfile.in
--- a/doc/Doxyfile.in	Tue Apr 05 12:30:46 2005 +0000
+++ b/doc/Doxyfile.in	Tue Apr 05 22:37:19 2005 +0000
@@ -468,6 +468,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 
@@ -772,7 +773,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