if HAVE_DOXYGEN

html-local: 
	$(DOXYGEN) Doxyfile
pdf-local: 
	$(DOXYGEN) Doxyfile
clean-local:
	rm -rf $(top_srcdir)/doc/html $(top_srcdir)/doc/latex
endif