diff --git a/doc/Makefile.am b/doc/Makefile.am
index 53882131bae100d1e2c058d0e23351c36fc02810..12455f0e384a4517c6ee8678261d11c5fdecbaa2 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -1,20 +1,11 @@
 
 SUBDIRS = doxygen
-
 CURDIR = doc
-
 BASEDIR = ..
 
 docdir=$(datadir)/doc/dune/solvers
 
-include $(top_srcdir)/am/webstuff
-
-CLEANFILES = $(PAGES)
-
-if ! BUILD_DOCS
-# add tag to notify that dist has been build without documentation
-dist-hook:
-        echo "# No documentation included in distribution! " > $(distdir)/$(DOCUMENTATION_TAG_FILE)
-endif
+EXTRA_DIST = CMakeLists.txt
 
+include $(top_srcdir)/am/webstuff
 include $(top_srcdir)/am/global-rules