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 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

(limited to 'Documentation')

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