[PATCH 7/9] build: do not touch roff files after sphinx-build
Jani Nikula
jani at nikula.org
Sat Nov 5 13:18:16 PDT 2016
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.
---
doc/Makefile.local | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/doc/Makefile.local b/doc/Makefile.local
index 8633cfcd3b51..5dc1cad489cc 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
--
2.1.4
More information about the notmuch
mailing list