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 /Documentation | |
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).
Diffstat (limited to 'Documentation')
-rw-r--r-- | Documentation/include.mk | 13 |
1 files changed, 7 insertions, 6 deletions
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) |