Generates index.html.