DOXYGEN = doxygen

.PHONY: doc spot

all-local: stamp

doc:
	rm stamp
	$(AMKE) stamp

stamp: Doxyfile.in ../configure.ac
	$(MAKE) Doxyfile
	rm -rf spot.html spot.latex
	$(DOXYGEN)
	: > $@

spot.html: stamp
spot.latex: stamp

EXTRA_DIST = stamp spot.html