From c7e2cef8bfc5dd72f5722917429183045eef7e5e Mon Sep 17 00:00:00 2001 From: Eric Wong Date: Fri, 18 Sep 2009 13:24:46 -0700 Subject: doc: latest news is available through finger We're expanding our target audience to folks that do not use HTTP (yet). --- local.mk.sample | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'local.mk.sample') diff --git a/local.mk.sample b/local.mk.sample index 92c121b..572ab8f 100644 --- a/local.mk.sample +++ b/local.mk.sample @@ -31,6 +31,7 @@ test-19: publish_doc: -git set-file-times $(MAKE) doc + awk 'BEGIN{RS="=== ";ORS=""}NR==2{ print RS""$$0 }' NEWS > doc/LATEST $(MAKE) doc_gz rsync -av --delete doc/ dcvr:/srv/unicorn/ git ls-files | xargs touch @@ -38,7 +39,7 @@ publish_doc: # Create gzip variants of the same timestamp as the original so nginx # "gzip_static on" can serve the gzipped versions directly. doc_gz: suf := html js css -doc_gz: docs = $(shell find doc/ -regex '^.*\.\(html\|js\|css\)$$') doc/COPYING +doc_gz: docs = $(shell find doc -type f ! -regex '^.*\.\(gif\|jpg\|png\|gz\)$$') doc_gz: for i in $(docs); do \ - gzip --rsyncable < $$i > $$i.gz; touch -r $$i $$i.gz; done + gzip --rsyncable -9 < $$i > $$i.gz; touch -r $$i $$i.gz; done -- cgit v1.2.3-24-ge0c7