Regenerate state.html.