html/index.html : Doxyfile clean
	doxygen $<

clean :
	$(RM) -r html