diff options
author | Eric Wong <e@80x24.org> | 2019-10-16 08:18:23 +0000 |
---|---|---|
committer | Eric Wong <e@80x24.org> | 2019-10-16 08:32:43 +0000 |
commit | dde1b083571ed893cbb1990f01f9e11ed804cba5 (patch) | |
tree | 33f8cdc98c63453347f2fd4e6878dd89c1245364 /Documentation | |
parent | 37724c7e792ca0e1df9f64cfc17cebf7359ca9f0 (diff) | |
download | public-inbox-dde1b083571ed893cbb1990f01f9e11ed804cba5.tar.gz |
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).
Diffstat (limited to 'Documentation')
-rw-r--r-- | Documentation/include.mk | 2 |
1 files changed, 1 insertions, 1 deletions
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) |