make_html.py: added script args