diff options
Diffstat (limited to 'local.mk.sample')
-rw-r--r-- | local.mk.sample | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/local.mk.sample b/local.mk.sample index d218474..92c121b 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: docs = $(shell find doc/ -regex '^.*\.\(html\|js\|css\)$$') +doc_gz: docs = $(shell find doc/ -regex '^.*\.\(html\|js\|css\)$$') doc/COPYING doc_gz: for i in $(docs); do \ gzip --rsyncable < $$i > $$i.gz; touch -r $$i $$i.gz; done |