put index.html in HTML5 format