Add an HTML file.