summary refs log tree commit homepage
diff options
authorEric Wong <>2009-06-06 13:41:19 -0700
committerEric Wong <>2009-06-06 13:43:05 -0700
commit7fdf4388a637b687c3996a4e5943db4610ba6f6e (patch)
parentc302b3281b71897f6e2854562e6f77447831e61e (diff)
While we're at it, use the rsyncable flag with gzip here
to reduce bandwidth usage on my end.
1 files changed, 3 insertions, 3 deletions
diff --git a/ b/
index 84bcf44..d218474 100644
--- a/
+++ b/
@@ -38,7 +38,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: globs := $(addprefix doc/*.,$(suf)) $(addprefix doc/*/*.,$(suf))
-doc_gz: docs := $(wildcard $(globs))
+doc_gz: docs = $(shell find doc/ -regex '^.*\.\(html\|js\|css\)$$')
-        for i in $(docs); do gzip < $$i > $$i.gz; touch -r $$i $$i.gz; done
+        for i in $(docs); do \
+          gzip --rsyncable < $$i > $$i.gz; touch -r $$i $$i.gz; done