doc: don't barf on missing `git set-file-times'

It's not critical, but it's nice to have for cache-friendliness
(otherwise I would not have written it :P)

I guess I should follow up on getting it into 'git contrib/':
https://public-inbox.org/git/20100702033709.GA6818@burratino/

diff --git a/Documentation/include.mk b/Documentation/include.mk
index 27d6ea6e41cc06dd9c4944e2b344a49fd49dfebc..5c5b473cb9ddf08ceb4a6e24d21564fedc5c3558 100644 (file)
--- a/Documentation/include.mk
+++ b/Documentation/include.mk
@@ -115,7 +115,9 @@ doc: $(docs)
 
 gz-doc: $(gz_docs)
 rsync-doc:
-       git set-file-times $(docs) $(txt)
+       # /usr/share/doc/rsync/scripts/git-set-file-times{.gz} on Debian systems
+       # It is also at: https://yhbt.net/git-set-file-times
+       -git set-file-times $(docs) $(txt)
        $(MAKE) gz-doc
        $(RSYNC) --chmod=Fugo=r -av $(rsync_docs) $(RSYNC_DEST)
 clean-doc: