diff options
| author | Jani Nikula <jani@nikula.org> | 2016-11-05 22:18:16 +0200 |
|---|---|---|
| committer | David Bremner <david@tethera.net> | 2016-11-17 08:40:07 -0400 |
| commit | a7a683b120ea8be1fe619d12a7d8a201de0652e6 (patch) | |
| tree | 8af4137e4d9c0dc8535b7b250c2b8299182153d2 | |
| parent | b3eec6f948192e5187d9d50419961e02d9d4996b (diff) | |
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.
| -rw-r--r-- | doc/Makefile.local | 2 |
1 files changed, 1 insertions, 1 deletions
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 |