diff -r 75f749682240 -r c80ef5912903 doc/Doxyfile
--- a/doc/Doxyfile	Thu Nov 04 18:52:31 2004 +0000
+++ b/doc/Doxyfile	Thu Nov 04 20:24:59 2004 +0000
@@ -431,7 +431,7 @@
                          groups.dox \
                          namespaces.dox \
                          ../src/lemon \
-                         ../src/lemon/skeletons \
+                         ../src/lemon/concept \
                          ../src/test/test_tools.h
 
 # If the value of the INPUT tag contains directories, you can use the