Commit 0361517cdebad5b01433bb996e395de39d018a68 Parent 5f88071c82769d557062ea574a42eab700a28c4b Author John MacFarlane <jgm@berkeley.edu> Date Mon, 29 Dec 2014 14:58:23 -0800 Avoid warning about unused options parameter in man writer.