commit: 45c7551a5bb6a36f9db73a5bb7555e69834b8835
parent 3b99d3ba99faa048e5feba20f9506b11c420c3f3
Author: Haelwenn (lanodan) Monnier <contact@hacktivis.me>
Date: Mon, 1 Aug 2022 21:49:36 +0200
Makefile: move linting to "lint" target
Diffstat:
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/Makefile b/Makefile
@@ -10,8 +10,8 @@ MANDIR=${PREFIX}/share/man
all:
:
-.PHONY: check
-check:
+.PHONY: lint
+lint:
find ./man*/ -type f -exec man -c -Tlint {} \; | grep -v -f mandoc_lint_ignore | tee mandoc_lint.log
wc -l <mandoc_lint.log | grep -q '^0$$'
