about summary refs log tree commit homepage
path: root/Documentation
diff options
context:
space:
mode:
Diffstat (limited to 'Documentation')
-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)