update HTML file