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