CLEANFILES = rm -rf html man

if HAVE_DOXYGEN
MANUALS = html/index.html
else
MANUALS =
endif

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
	if test -f header.html; then $(DOXYGEN); else echo "FIXME: doxygen documentation cannot be built using a seperate build directory"; fi

EXTRA_DIST = index.doc header.html