all: $(MANUALS)
-html/index.html: ../src/*.cpp ../src/*.hxx
- $(DOXYGEN)
+# 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
+ if [ "$srcdir" = "$builddir" ]; then $(DOXYGEN); else echo "FIXME: doxygen documentation cannot be built using a seperate build directory"; fi
+
+EXTRA_DIST = index.doc header.html