rename html file

This will avoid renaming the html file in the gh-pages branch.