]> git.ipfire.org Git - thirdparty/man-pages.git/commit
projects / thirdparty / man-pages.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 318f2f8) | patch
lint-man.mk: Use a pipeline instead of the groff(1) wrapper
authorAlejandro Colomar <alx.manpages@gmail.com>
Sat, 27 Aug 2022 18:55:41 +0000 (20:55 +0200)
committerAlejandro Colomar <alx.manpages@gmail.com>
Sun, 28 Aug 2022 10:32:35 +0000 (12:32 +0200)
commit841de1bc5d07cb43d11868b57ab7d5171947f7e9
treed9d1aea9e936614d376e477dfa8f21574be5c3e6tree
parent318f2f87a31c4fbf789ac489bd21d7647594f50fcommit | diff
lint-man.mk: Use a pipeline instead of the groff(1) wrapper

This more explicitly shows how stuff really works, and allows
inspecting some intermediate steps in case it may be necessary.

Cc: Ralph Corderoy <ralph@inputplus.co.uk>
Cc: "G. Branden Robinson" <g.branden.robinson@gmail.com>
Cc: <groff@gnu.org>
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.