diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2015-01-11 12:19:18 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2015-01-11 12:19:18 -0800 |
| commit | 4f3b3d495ad43d85bd3c044873adf658c84b9966 (patch) | |
| tree | 393fca135918554237d8960d4cbdcc4e8965d200 | |
| parent | 0e7d3a2e6ef6430e2de7eafc483b0ffe982d970d (diff) | |
Makefile: require PROG for making man3 page.
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -50,7 +50,7 @@ mingw: cmake .. -DCMAKE_TOOLCHAIN_FILE=../toolchain-mingw32.cmake -DCMAKE_INSTALL_PREFIX=$(MINGW_INSTALLDIR) ;\ make && make install -man/man3/cmark.3: src/cmark.h +man/man3/cmark.3: src/cmark.h $(PROG) mkdir -p man/man3 && \ python3 man/make_man_page.py $< > $@ |