about summary refs log tree commit homepage
path: root/Documentation/GNUmakefile
diff options
context:
space:
mode:
authorEric Wong <e@80x24.org>2016-01-18 07:18:07 +0000
committerEric Wong <e@80x24.org>2016-01-18 07:18:07 +0000
commitefb0302b9a55838552b17eef2387ac53d24269d1 (patch)
tree08da480aac8d0a199e728e9f53984c42f941087f /Documentation/GNUmakefile
parent3083b7fbe2bc6e8dcd935b10bb7a165257c5252b (diff)
downloaddtas-efb0302b9a55838552b17eef2387ac53d24269d1.tar.gz
We should not be busting caches and wasting visitor's bandwidth
for unmodified files.
Diffstat (limited to 'Documentation/GNUmakefile')
-rw-r--r--Documentation/GNUmakefile10
1 files changed, 7 insertions, 3 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)