diff options
-rw-r--r-- | local.mk.sample | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/local.mk.sample b/local.mk.sample index 84bcf44..d218474 100644 --- a/local.mk.sample +++ b/local.mk.sample @@ -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\)$$') doc_gz: - 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 |