for jenkins convienience, changing the name of the output html file to
index.html