Explain how to regenerate index.html