if DOC

all:
	@DOXYGEN@ Doxyfile

else

all:

endif

EXTRA_DIST = index.html manual.html

clean-local:
	$(RM) -rf html