doc: sync .txt mtime to .pod mtime

Otherwise timestamps for .html files get screwed up, too;
and that hurts caching.

diff --git a/Documentation/include.mk b/Documentation/include.mk
index 5c5b473cb9ddf08ceb4a6e24d21564fedc5c3558..5b793fb5d2f7c2561fb491e17e740d8540948cb7 100644 (file)
--- a/Documentation/include.mk
+++ b/Documentation/include.mk
@@ -87,13 +87,13 @@ dtxt += $(mantxt)
 all :: $(mantxt)
 
 Documentation/%.txt : Documentation/%.pod
-       $(podtext) $< $@+ && mv $@+ $@
+       $(podtext) $< $@+ && touch -r $< $@+ && mv $@+ $@
 
 txt2pre = $(PERL) -I lib ./Documentation/txt2pre <$< >$@+ && \
        touch -r $< $@+ && mv $@+ $@
 
 Documentation/standards.txt : Documentation/standards.perl
-       $(PERL) $< >$@+ && mv $@+ $@
+       $(PERL) $< >$@+ && touch -r $< $@+ && mv $@+ $@
 
 Documentation/%.html: Documentation/%.txt
        $(txt2pre)