-RSYNC_DEST = public-inbox.org:/srv/public-inbox/
-docs = README COPYING INSTALL $(shell git ls-files Documentation/ '*.txt')
-gz_docs = $(addsuffix .gz, $(docs))
-%.gz: %
- gzip -9 --rsyncable < $< > $@+
- touch -r $< $@+
- mv $@+ $@
-
-gz-docs: $(gz_docs)
-rsync-docs:
- git set-file-times $(docs)
- $(MAKE) gz-docs
- rsync --chmod=Fugo=r -av $(gz_docs) $(docs) $(RSYNC_DEST)