From e75cc857254c359eeb2aa202b8848b4d8abef36d Mon Sep 17 00:00:00 2001 From: Eric Wong Date: Fri, 24 May 2019 02:57:54 +0000 Subject: 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/ --- Documentation/include.mk | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'Documentation') diff --git a/Documentation/include.mk b/Documentation/include.mk index 27d6ea6e..5c5b473c 100644 --- 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: -- cgit v1.2.3-24-ge0c7