From: Jani Nikula <jani@nikula.org>
Date: Sat, 5 Nov 2016 20:18:16 +0000 (+0200)
Subject: build: do not touch roff files after sphinx-build
X-Git-Tag: 0.24_rc0~80
X-Git-Url: https://git.notmuchmail.org/git?a=commitdiff_plain;h=a7a683b120ea8be1fe619d12a7d8a201de0652e6;hp=b3eec6f948192e5187d9d50419961e02d9d4996b;p=notmuch

build: do not touch roff files after sphinx-build

If Sphinx fails to create any of the roff files, having touch create
them hides the errors until someone realizes, possibly much later,
that the resulting files are empty. (Note that gzip doesn't fail on
empty input files.) Sphinx will change the timestamps of any files it
has written anyway.
---

diff --git a/doc/Makefile.local b/doc/Makefile.local
index 8633cfcd..5dc1cad4 100644
--- a/doc/Makefile.local
+++ b/doc/Makefile.local
@@ -53,7 +53,7 @@ else
 	@echo "Fatal: build dependency fail."
 	@false
 endif
-	touch ${MAN_ROFF_FILES} $@
+	touch $@
 
 install-man: install-apidocs