git: Ignore auto-generated html.