diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2015-10-09 23:16:38 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2015-10-09 23:16:38 -0700 |
| commit | f1e64cfcdbf1fbbe8a4d5b4a34fd712e70bdf27d (patch) | |
| tree | c284297458e4091ecc76a43c6a01a417615ca624 /man/make_man_page.py | |
| parent | 5df72d797a1082adf9bc59f301ec66bf7d9446ca (diff) | |
Makefile.nmake: be more robust when cmake is missing.
Previously, when cmake was missing, the build dir would
be created anyway, and subsequent attempts (even with cmake)
would fail, because cmake would not be run.
Depending on build/CMakeFiles is more robust -- this
won't be created unless cmake is run.
Partially addresses #85.
Diffstat (limited to 'man/make_man_page.py')
0 files changed, 0 insertions, 0 deletions