From efb0302b9a55838552b17eef2387ac53d24269d1 Mon Sep 17 00:00:00 2001
From: Eric Wong <e@80x24.org>
Date: Mon, 18 Jan 2016 07:18:07 +0000
Subject: doc: preserve times in website

We should not be busting caches and wasting visitor's bandwidth
for unmodified files.
---
 Documentation/GNUmakefile | 10 +++++++---
 Rakefile                  | 15 +++++++++++----
 2 files changed, 18 insertions(+), 7 deletions(-)

diff --git a/Documentation/GNUmakefile b/Documentation/GNUmakefile
index 783cc82..dc6a266 100644
--- a/Documentation/GNUmakefile
+++ b/Documentation/GNUmakefile
@@ -61,12 +61,16 @@ install-man: man
 %.7 : %.pod
 	$(pod2man) -s 7 $< $@+ && mv $@+ $@
 
-all :: $(mantxt)
-
 mantxt = $(addsuffix .txt, $(m1) $(m7))
 
+txt :: $(mantxt)
+
+all :: txt
+
 %.txt : %.pod
-	$(pod2text) $< $@+ && mv $@+ $@
+	$(pod2text) $< $@+
+	touch -r $< $@+ 2>/dev/null || true # GNU-ism
+	mv $@+ $@
 
 clean::
 	$(RM) $(man1) $(man7)
diff --git a/Rakefile b/Rakefile
index 075260b..c710c7a 100644
--- a/Rakefile
+++ b/Rakefile
@@ -101,19 +101,26 @@ task rsync_docs: %w(NEWS NEWS.atom) do
   # Also available at: http://yhbt.net/git-set-file-times
   # on Debian systems: /usr/share/doc/rsync/scripts/git-set-file-times.gz
   sh("git", "set-file-times", "Documentation", "examples", *top)
+  make = ENV['MAKE'] || 'make'
+  sh(%Q(#{make} -C Documentation))
+  examples = `git ls-files examples`.split("\n")
 
-  `git ls-files Documentation/*.txt`.split(/\n/).concat(top).each do |txt|
+  gzip_touch = lambda do |txt|
     gz = "#{txt}.gz"
     tmp = "#{gz}.#$$"
-    sh("gzip -9 < #{txt} > #{tmp}")
+    sh("gzip -9 <#{txt} >#{tmp}")
     st = File.stat(txt)
     File.utime(st.atime, st.mtime, tmp) # make nginx gzip_static happy
     File.rename(tmp, gz)
+    gz
+  end
+
+  Dir['Documentation/*.txt'].to_a.concat(top).each do |txt|
     files << txt
-    files << gz
+    files << gzip_touch[txt]
   end
   sh("rsync --chmod=Fugo=r -av #{files.join(' ')} #{dest}")
 
-  examples = `git ls-files examples`.split("\n")
+  examples = examples.map { |txt| [ txt, gzip_touch[txt] ] }
   sh("rsync --chmod=Fugo=r -av #{examples.join(' ')} #{dest}/examples/")
 end
-- 
cgit v1.2.3-24-ge0c7