diff --git a/doc/doxygen/Doxylocal b/doc/doxygen/Doxylocal
index 0158b35dbaa3e4062524190abd384132ac9fda0e..080e6f5118da97c51c3c460671f191c15f691a29 100644
--- a/doc/doxygen/Doxylocal
+++ b/doc/doxygen/Doxylocal
@@ -1,7 +1,6 @@
 # Where to search and which files to use
 INPUT                 += @srcdir@/mainpage \
                          @srcdir@/modules \
-                         @srcdir@/concepts \
                          @top_srcdir@/dune/common/modules \
                          @top_srcdir@/dune/common
 EXCLUDE               += @top_srcdir@/dune/common/test