tenkyo_edit script for tenkyo editors make_html.py : making 3 types of html files listing articles on the web-site (python 3) Usage: ./make_html.py yyyy nn