From: Eric Wong <e@80x24.org>
Date: Thu, 14 Nov 2019 06:41:14 +0000 (+0000)
Subject: doc: check-man: save the result of successful runs
X-Git-Tag: v1.3.0~304
X-Git-Url: http://www.git.stargrave.org/?a=commitdiff_plain;h=8816eccfbe6c9a1a046fd6db4ece45966e009307;p=public-inbox.git

doc: check-man: save the result of successful runs

We can keep a stamp around if the corresponding manpage hasn't
changed to avoid re-running man(1) and awk(1).
---

diff --git a/.gitignore b/.gitignore
index 66f165e2..167d08bf 100644
--- a/.gitignore
+++ b/.gitignore
@@ -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)