diff --git a/doc/Makefile.am b/doc/Makefile.am index 2997ede98720f9ec02216890b1387cca4f483508..059294308c31ad03dc4789717258101f9c78f0bf 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -5,9 +5,13 @@ EXTRA_DIST = BuildSystem SUBDIRS = devel appl doxygen layout -all: index.html +PAGES = index.html + +all: $(PAGES) # setting like in dune-web CURDIR=doc include $(top_srcdir)/am/webstuff + +CLEANFILES = $(PAGES)