all: $(MANUALS)
-# todo: separate build dir still doesn't work
-html/index.html: $(top_srcdir)/src/*.cpp $(top_srcdir)/src/*.hxx $(top_srcdir)/codegen/*.hxx $(top_srcdir)/codegen/*.cpp $(srcdir)/index.doc
- $(DOXYGEN)
+html/index.html: $(top_srcdir)/src/*.cpp $(top_srcdir)/src/*.hxx $(top_srcdir)/codegen/*.hxx $(top_srcdir)/codegen/*.cpp $(srcdir)/index.doc Doxyfile
+ $(DOXYGEN)
-EXTRA_DIST = index.doc header.html
+EXTRA_DIST = index.doc header.html Doxyfile.in