From dde1b083571ed893cbb1990f01f9e11ed804cba5 Mon Sep 17 00:00:00 2001
From: Eric Wong <e@80x24.org>
Date: Wed, 16 Oct 2019 08:18:23 +0000
Subject: [PATCH] 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).
---
 Documentation/include.mk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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)
-- 
2.44.0