diff options
author | Eric Wong <e@80x24.org> | 2019-11-14 06:41:14 +0000 |
---|---|---|
committer | Eric Wong <e@80x24.org> | 2019-11-15 01:09:15 +0000 |
commit | 8816eccfbe6c9a1a046fd6db4ece45966e009307 (patch) | |
tree | 8023cdfbac79e5eea4b98e72e176fb65566760ee | |
parent | d571f8a98ae32fa8c5aae31a9fcdddcec7242a8a (diff) | |
download | public-inbox-8816eccfbe6c9a1a046fd6db4ece45966e009307.tar.gz |
We can keep a stamp around if the corresponding manpage hasn't changed to avoid re-running man(1) and awk(1).
-rw-r--r-- | .gitignore | 1 | ||||
-rw-r--r-- | Documentation/include.mk | 13 |
2 files changed, 8 insertions, 6 deletions
@@ -12,6 +12,7 @@ *.8 *.html *.gz +.*.cols /NEWS.html /NEWS.atom /NEWS diff --git a/Documentation/include.mk b/Documentation/include.mk index ea0498c1..651fdf30 100644 --- a/Documentation/include.mk +++ b/Documentation/include.mk @@ -93,14 +93,15 @@ doc_install :: install-man check :: check-man check_man = @echo CHECK80 $<;COLUMNS=80 $(MAN) ./$^ | \ - $(AWK) '{gsub(/\b./,"")}length>80{print;err=1}END{exit(err)}' >&2 + $(AWK) '{gsub(/\b./,"")}length>80{print;err=1}END{exit(err)}' >&2 \ + && >$@ -%.1.cols : %.1; $(check_man) -%.5.cols : %.5; $(check_man) -%.7.cols : %.7; $(check_man) -%.8.cols : %.8; $(check_man) +.%.1.cols : %.1; $(check_man) +.%.5.cols : %.5; $(check_man) +.%.7.cols : %.7; $(check_man) +.%.8.cols : %.8; $(check_man) -check-man :: $(addsuffix .cols, $(manpages)) +check-man :: $(addprefix .,$(addsuffix .cols, $(manpages))) manuals := manuals += $(m1) |