Writing index.html.