diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2015-04-26 10:57:24 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2015-04-26 10:57:24 -0700 |
| commit | e982e57fc3b4348bb601a8764ce2d17f0dc053ae (patch) | |
| tree | 0de59aeceac4e68075622088bd3d5c95cc82cdcd /man/make_man_page.py | |
| parent | 835d63b63c920e972b4e72418dea0dd08c667bde (diff) | |
Makefile.nmake fixes.
Removed echo, pushd, popd.
Diffstat (limited to 'man/make_man_page.py')
0 files changed, 0 insertions, 0 deletions