diff options
Diffstat (limited to 'Documentation')
-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) |