summaryrefslogtreecommitdiff
path: root/man/make_man_page.py
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2015-01-04 13:25:49 -0800
committerJohn MacFarlane <jgm@berkeley.edu>2015-01-04 13:25:49 -0800
commit6d239e74bc5d61cfdaaab195adde2558afa32301 (patch)
tree732ec3c5b95c22f5830539fec58d420723e69410 /man/make_man_page.py
parentd948cb2b921ef0384015bbd432d8b7a7015fee11 (diff)
Improved spec.pdf production.
Boldface definitions.
Diffstat (limited to 'man/make_man_page.py')
0 files changed, 0 insertions, 0 deletions