change name of html file for gitpage