diff options
author | Eric Wong <e@80x24.org> | 2016-01-18 07:18:07 +0000 |
---|---|---|
committer | Eric Wong <e@80x24.org> | 2016-01-18 07:18:07 +0000 |
commit | efb0302b9a55838552b17eef2387ac53d24269d1 (patch) | |
tree | 08da480aac8d0a199e728e9f53984c42f941087f /Documentation/GNUmakefile | |
parent | 3083b7fbe2bc6e8dcd935b10bb7a165257c5252b (diff) | |
download | dtas-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/GNUmakefile | 10 |
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) |