'make clean' should only remove the generated html files, index.html is not