diff options
author | Eric Wong <e@80x24.org> | 2019-05-24 02:57:54 +0000 |
---|---|---|
committer | Eric Wong <e@80x24.org> | 2019-05-24 02:58:48 +0000 |
commit | e75cc857254c359eeb2aa202b8848b4d8abef36d (patch) | |
tree | cf7ff3a4e984564c01b7c46d69c718129d9c8cbc /Documentation/include.mk | |
parent | c0d29c34e38fabf40f3b2db8caad106951b02e73 (diff) | |
download | public-inbox-e75cc857254c359eeb2aa202b8848b4d8abef36d.tar.gz |
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/
Diffstat (limited to 'Documentation/include.mk')
-rw-r--r-- | Documentation/include.mk | 4 |
1 files changed, 3 insertions, 1 deletions
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: |