Update documentation HTML files