diff -r 75cf1d52eee5 -r b6b31b75b522 src/work/Doxyfile
--- a/src/work/Doxyfile	Tue May 11 19:38:00 2004 +0000
+++ b/src/work/Doxyfile	Tue May 11 19:50:21 2004 +0000
@@ -394,7 +394,6 @@
 INPUT                  = ../hugo \
                          ../hugo/skeletons \
                          ../test/test_tools.h \
-                         athos/minlengthpaths.h \
                          klao/path.h \
                          jacint/max_flow.h \
                          jacint/max_matching.h \