]> Sergey Matveev's repositories - public-inbox.git/commit
projects / public-inbox.git / commit
summary | shortlog | log | commit | commitdiff | tree
(parent: 37724c7) | patch
doc: check-man: ignore backspace char
authorEric Wong <e@80x24.org>
Wed, 16 Oct 2019 08:18:23 +0000 (08:18 +0000)
committerEric Wong <e@80x24.org>
Wed, 16 Oct 2019 08:32:43 +0000 (08:32 +0000)
commitdde1b083571ed893cbb1990f01f9e11ed804cba5
tree33f8cdc98c63453347f2fd4e6878dd89c1245364tree
parent37724c7e792ca0e1df9f64cfc17cebf7359ca9f0commit | diff
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 diff | blob | history
My patches to https://public-inbox.org/public-inbox.git