1# -*- Makefile -*- 2 3.PHONY: gendoc 4 5gendoc: 6 doxygen Doxyfile; 7 8distclean-local: 9 rm -f html/*; 10