Update auto_html_spec file