diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2014-12-17 11:39:11 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2014-12-17 11:39:11 -0800 |
| commit | 5e18e2ab6b683c01f1ccb2a1d58093ae2145acf4 (patch) | |
| tree | 7a46f9cac8ce8befa573bd3257619a77ca44556b /man/make_man_page.py | |
| parent | 0479ddaeb0f54f960db0537ee1f39702ae400eb8 (diff) | |
Updated Makefile for changes in man page generation.
Diffstat (limited to 'man/make_man_page.py')
0 files changed, 0 insertions, 0 deletions