make index.html generation PHONY