From dd09f411e527c2802a220fde2ec5dc8a0fcd245c Mon Sep 17 00:00:00 2001
From: Oliver Sander <sander@igpm.rwth-aachen.de>
Date: Tue, 25 Feb 2014 13:23:42 +0000
Subject: [PATCH] Remove some old stuff from doc/Makefile.am

Incidentally, this makes 'make dist' work even if --disable-documentation
is set.

[[Imported from SVN: r12945]]
---
 doc/Makefile.am | 13 ++-----------
 1 file changed, 2 insertions(+), 11 deletions(-)

diff --git a/doc/Makefile.am b/doc/Makefile.am
index 53882131..12455f0e 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
-- 
GitLab