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