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 66f165e26c04dade02a6d2a31039b2f9fcce18ff..167d08bfacba92eb5476560fcc9feeedf27bc2e7 100644 (file)
--- 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 ea0498c19f05b7e5878b32ce40b0901d10c85104..651fdf30922b1f513b7c9de3afa17847af8db3ae 100644 (file)
--- 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)