Commit aef7803ebf8704b90e310edabfa4d13f3e1cb0a0 Parent 2e3ab1464f9e4e8b00ebb15ea0f5a0afd2df7263 Author John MacFarlane <jgm@berkeley.edu> Date Fri, 7 Nov 2014 09:30:02 -0800 Removed man/Makefile. Put target in main Makefile.