CLEANFILES = rm -rf html man
if HAVE_DOXYGEN
MANUALS = html/index.html
else
MANUALS =
endif
all: $(MANUALS)
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 Doxyfile.in