diff options
-rw-r--r-- | local.mk.sample | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/local.mk.sample b/local.mk.sample index 48dfb45..c5d3b0e 100644 --- a/local.mk.sample +++ b/local.mk.sample @@ -33,6 +33,7 @@ publish_doc: $(MAKE) doc $(MAKE) doc_gz rsync -av --delete doc/ dcvr:/srv/unicorn/ + git ls-files | xargs touch # Create gzip variants of the same timestamp as the original so nginx # "gzip_static on" can serve the gzipped versions directly. |