More improvements in build_manpage.py