diff options
author | itchyny <itchyny@cybozu.co.jp> | 2023-07-11 08:32:30 +0900 |
---|---|---|
committer | Nico Williams <nico@cryptonector.com> | 2023-07-10 18:47:14 -0500 |
commit | 4c125c7ca6df8cb1bda6a11fae6d7981e51bbd13 (patch) | |
tree | eb23c1f9594ccf7e2a6cd5c6e81808057ae79d7a | |
parent | 2377972dfed082affafd4f575b0a637f99a35723 (diff) |
Do not remove manpage prebuild file on build failure
-rw-r--r-- | Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am index 247352f0..3b88498c 100644 --- a/Makefile.am +++ b/Makefile.am @@ -164,7 +164,7 @@ endif man_MANS = jq.1 jq.1.prebuilt: $(srcdir)/docs/content/manual/manual.yml if ENABLE_DOCS - $(AM_V_GEN) ( cd ${abs_srcdir}/docs; $(PIPENV) run python build_manpage.py ) > $@ || { rm -f $@; false; } + $(AM_V_GEN) ( cd ${abs_srcdir}/docs; $(PIPENV) run python build_manpage.py ) > $@ else @echo Changes to the manual.yml require docs to be enabled to update the manpage. @echo As a result, the manpage is out of date. |