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

[public-inbox.git] / Documentation / include.mk

diff --git a/Documentation/include.mk b/Documentation/include.mk
index 6415338b9158ff0ff5340e0728d598b4b51ea3dd..5c5b473cb9ddf08ceb4a6e24d21564fedc5c3558 100644 (file)
--- a/Documentation/include.mk
+++ b/Documentation/include.mk
@@ -26,11 +26,13 @@ podtext = $(PODTEXT) $(PODTEXT_OPTS)
 
 # MakeMaker only seems to support manpage sections 1 and 3...
 m1 =
-m1 += public-inbox-mda
+m1 += public-inbox-compact
 m1 += public-inbox-httpd
+m1 += public-inbox-index
+m1 += public-inbox-mda
 m1 += public-inbox-nntpd
 m1 += public-inbox-watch
-m1 += public-inbox-index
+m1 += public-inbox-xcpdb
 m5 =
 m5 += public-inbox-config
 m5 += public-inbox-v1-format
@@ -113,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: