1html/index.html : Doxyfile clean
2	doxygen $<
3
4clean :
5	$(RM) -r html
6