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