about summary refs log tree commit homepage
diff options
context:
space:
mode:
-rw-r--r--local.mk.sample1
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.