Commit b004ef0330ece7767bd9b57aa16bfe36e8fcc350 Parent 9fedb89af38b5a43eb0f7944e938dbbdb17a499d Author John MacFarlane <jgm@berkeley.edu> Date Sat, 29 Nov 2014 18:57:29 -0800 Added make_man_page.py script.