diff -r 75f749682240 -r c80ef5912903 src/work/Doxyfile
--- a/src/work/Doxyfile	Thu Nov 04 18:52:31 2004 +0000
+++ b/src/work/Doxyfile	Thu Nov 04 20:24:59 2004 +0000
@@ -396,7 +396,7 @@
                          ../../doc/maps.dox ../../doc/coding_style.dox \
                          ../../doc/groups.dox \
                          ../lemon \
-                         ../lemon/skeletons \
+                         ../lemon/concept \
                          ../test/test_tools.h \
                          klao/path.h \
                          klao/debug.h \