commit: 86a5bc7f68858657a0f399c58e487502bc7b04a7
parent 5d21928f4d2e814da67301ff139ae03bd6bbf4c5
Author: Haelwenn (lanodan) Monnier <contact@hacktivis.me>
Date: Sun, 7 Aug 2022 10:55:41 +0200
Makefile: Move mandoc linting to lint target
Diffstat:
1 file changed, 3 insertions(+), 0 deletions(-)
diff --git a/Makefile b/Makefile
@@ -39,6 +39,9 @@ test: all $(TEST_BLOBS)
cp -r test/fixtures test/check_dir-fixtures
$(HARE) $(HAREFLAGS) test
rm -fr test/check_dir-fixtures
+
+.PHONY: lint
+lint:
$(MANDOC) -Tlint -Wunsupp,error,warning $(EXE).1
.PHONY: install