Adds install.html.