]> git.ipfire.org Git - thirdparty/man-pages.git/commit
projects / thirdparty / man-pages.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: debe632) | patch
lint-man.mk: Remove highlighting in a more robust way
authorAlejandro Colomar <alx.manpages@gmail.com>
Sun, 28 Aug 2022 10:53:11 +0000 (12:53 +0200)
committerAlejandro Colomar <alx.manpages@gmail.com>
Sun, 28 Aug 2022 10:53:13 +0000 (12:53 +0200)
commitc28449d0929c3242fb62887bb8aa52dc02c667f4
tree0e371ffaad45d03ac5350f254829874f0460c025tree
parentdebe632e23bf21a38127a60dd1026743e94d8dfecommit | diff
lint-man.mk: Remove highlighting in a more robust way

'grotty -c | col -bx' is more reliable, and far more readable.

Suggested-by: Ralph Corderoy <ralph@inputplus.co.uk>
Signed-off-by: Alejandro Colomar <alx.manpages@gmail.com>
lib/lint-man.mk diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.