+++ /dev/null
-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 Doxyfile.in