diff -r 04cd483c2dbc -r 357ff646e735 doc/Doxyfile
--- a/doc/Doxyfile	Sat May 08 08:18:44 2004 +0000
+++ b/doc/Doxyfile	Sat May 08 15:56:00 2004 +0000
@@ -396,9 +396,6 @@
                          groups.dox \
                          ../src/hugo \
                          ../src/hugo/skeletons \
-                         ../src/work/athos/minlengthpaths.h \
-                         ../src/work/klao/path.h \
-                         ../src/work/jacint/max_flow.h \
                          ../src/test/test_tools.h 
 
 # If the value of the INPUT tag contains directories, you can use the