Generate an index.html file.