1 CLEANFILES = rm -rf html man
4 MANUALS = html/index.html
11 # todo: separate build dir still doesn't work
12 html/index.html: $(top_srcdir)/src/*.cpp $(top_srcdir)/src/*.hxx $(top_srcdir)/codegen/*.hxx $(top_srcdir)/codegen/*.cpp $(srcdir)/index.doc
15 EXTRA_DIST = index.doc