git-barepo

commit da044df911eb163a543341887c5f18ce6cd1736e
parent 83fb88b465c9714a2720fa41b6d6d999913050e6
Author: Vincent Forest <vincent.forest@meso-star.com>
Date:   Sun, 24 May 2026 16:28:17 +0200

Update the "lint" Makefile target

Check the manual page only for events of level "warning" or higher.
This avoids unnecessary alarming messages.

Diffstat:
M
Makefile
 | 
4
++--

1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/Makefile b/Makefile
@@ -58,5 +58,5 @@ lint:
 	shellcheck -o all git-publish
 	shellcheck -o all git-barepo
 	shellcheck -o all post-receive.in
-	mandoc -Wbase -Tlint git-publish.1 || [ $$? -le 1 ];
-	mandoc -Wbase -Tlint git-barepo.1
+	mandoc -Tlint -Wwarning git-publish.1
+	mandoc -Tlint -Wwarning git-barepo.1