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 8633cfcd3b51e24b5df686f576271e63dbc69b4f..5dc1cad489cc4722252962d4dc70fbd5aa20de5d 100644 (file)
--- a/doc/Makefile.local
+++ b/doc/Makefile.local
@@ -53,7 +53,7 @@ else
        @echo "Fatal: build dependency fail."
        @false
 endif
        @echo "Fatal: build dependency fail."
        @false
 endif

-       touch ${MAN_ROFF_FILES} $@
+       touch $@

 
 install-man: install-apidocs
 
 
 install-man: install-apidocs