Documentation/include.mk | 4 +++-

diff --git a/Documentation/include.mk b/Documentation/include.mk
index 27d6ea6e41cc06dd9c4944e2b344a49fd49dfebc..5c5b473cb9ddf08ceb4a6e24d21564fedc5c3558 100644
--- a/Documentation/include.mk
+++ b/Documentation/include.mk
@@ -115,7 +115,9 @@ 	mv $@+ $@
 
 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: