update HTML files