]> git.ipfire.org Git - thirdparty/man-pages.git/commit
projects / thirdparty / man-pages.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ea60f69) | patch
Makefile, lint-man.mk: lint-man-groff-col, lint-man-groff-grep: Split targets from...
authorAlejandro Colomar <alx@kernel.org>
Thu, 9 Mar 2023 17:47:13 +0000 (18:47 +0100)
committerAlejandro Colomar <alx@kernel.org>
Thu, 9 Mar 2023 18:01:32 +0000 (19:01 +0100)
commit3743458cffe602919b48573b0f468f1015c14394
treedf95c6d38f4799152276de686e38640dfcdda172tree | snapshot
parentea60f69e71928c957c0a80febf5bf39b83a2d260commit | diff
Makefile, lint-man.mk: lint-man-groff-col, lint-man-groff-grep: Split targets from lint-man-groff

Allow running col(1) and grep(1) separately, which allows more granular
testing, and also inspecting the output of col(1), which can be useful
for debugging the pages.

Signed-off-by: Alejandro Colomar <alx@kernel.org>
Makefile diff | blob | blame | history
lib/lint-man.mk diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.