From 1501cd9ebb17a5178d9eaddc77fa4306614e869c Mon Sep 17 00:00:00 2001
From: Eric Wong <normalperson@yhbt.net>
Date: Sun, 5 Apr 2009 19:29:44 -0700
Subject: local.mk: touch files after set-file-times

Avoid breaking builds just in case.  set-file-times is just for
the benefit of rdoc displaying modification time information in
HTML pages.
---
 local.mk.sample | 1 +
 1 file changed, 1 insertion(+)

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.
-- 
cgit v1.2.3-24-ge0c7