if HAVE_DOXYGEN

doxyfile.stamp:
	$(DOXYGEN) $(top_builddir)/docs/Doxyfile
	echo Timestamp > doxyfile.stamp

CLEANFILES = doxyfile.stamp

html-local: doxyfile.stamp
clean-local:
	rm -rf $(top_builddir)/docs/html

endif