PATHFILES += \
	doc/doxy.conf
nodist_noinst_DATA = \
	doc/doxy.conf

EXTRA_DIST += \
	doc/introduction.dox

if ENABLE_DOXYGEN

doc/doxyfile.stamp:
	$(DOXYGEN) doc/doxy.conf
	date > doc/doxyfile.stamp

CLEANFILES += doc/doxyfile.stamp

all-local: doc/doxyfile.stamp

clean-local-doc:
	-rm -rf doc/*html

CLEAN_LOCALS += clean-local-doc

endif