doc: check-man: ignore backspace char

man(1) on FreeBSD unconditionally emits backspace characters
for the bold effect despite its output being piped to awk(1).

Also tested with the man-db.nongnu.org version provided with
Debian (and presumably most other Linux systems).

diff --git a/Documentation/include.mk b/Documentation/include.mk
index 4af8d45552b8bed8264ab57cf6da31eff5a9d08b..2878422c765c3baaccb2afb022b10bd2e15bd1d9 100644 (file)
--- a/Documentation/include.mk
+++ b/Documentation/include.mk
@@ -93,7 +93,7 @@ doc_install :: install-man
 # enabled by default "check" target:
 # check :: check-man
 check_man = @echo CHECK80 $<;COLS=80 $(MAN) ./$^ | \
-       $(AWK) '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)