diff options
author | John MacFarlane <jgm@berkeley.edu> | 2015-01-11 12:57:51 -0800 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2015-01-11 12:57:51 -0800 |
commit | 8613437393d1e6cdb81d7bc3a94760a5faba3601 (patch) | |
tree | da3365f9b55ed4534ef7ff0b521c3e9dfdd71896 /Makefile | |
parent | 84e824fbee65c447a53c38762d4db978da17d33b (diff) |
Use order-only dependency of cmark.3 on PROG.
This fixes a problem with some parallel builds.
Diffstat (limited to 'Makefile')
-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 $(PROG) +man/man3/cmark.3: src/cmark.h | $(PROG) python3 man/make_man_page.py $< > $@ \ archive: spec.html |