Commit c1d5685baa7d53d8a41160b487681498c3c79993 Parent b004ef0330ece7767bd9b57aa16bfe36e8fcc350 Author John MacFarlane <jgm@berkeley.edu> Date Sat, 29 Nov 2014 19:15:13 -0800 make_man_page.py improved.