Fixed bug in splitting arguments in make_man_page.py.