Regenerated index.html from source files