ensure index.html up to date