Cleaning up makeinfo.py.