diff --git a/doc/doxygen/Doxylocal b/doc/doxygen/Doxylocal
index 080e6f5118da97c51c3c460671f191c15f691a29..e8c14aecf23b6304307093575b8ee12150b5e8ea 100644
--- a/doc/doxygen/Doxylocal
+++ b/doc/doxygen/Doxylocal
@@ -3,5 +3,6 @@ INPUT                 += @srcdir@/mainpage \
                          @srcdir@/modules \
                          @top_srcdir@/dune/common/modules \
                          @top_srcdir@/dune/common
-EXCLUDE               += @top_srcdir@/dune/common/test
+EXCLUDE               += @top_srcdir@/dune/common/test \
+                         @top_srcdir@/dune/common/debugallocator.cc