From: Eric Wong <e@80x24.org>
Date: Wed, 16 Oct 2019 08:18:23 +0000 (+0000)
Subject: doc: check-man: ignore backspace char
X-Git-Tag: v1.2.0~37
X-Git-Url: http://www.git.stargrave.org/?a=commitdiff_plain;h=dde1b083571ed893cbb1990f01f9e11ed804cba5;p=public-inbox.git

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 4af8d455..2878422c 100644
--- 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)