Improve documentation of build_manpage.py