diaposishell

commit 8115565850763ccd345716de4c0a8be72e73837e
parent 73dc395d6157bbdb2d11e4c435a7892c4a7d772e
Author: Vincent Forest <vincent.forest@meso-star.com>
Date:   Tue,  5 Sep 2023 18:55:36 +0200

Add a lint target to the makefile

It checks shell scripts and the man page

Diffstat:
M
Makefile
 | 
5
+++++

1 file changed, 5 insertions(+), 0 deletions(-)
diff --git a/Makefile b/Makefile
@@ -29,3 +29,8 @@ install:
 uninstall:
 	rm -f "$(PREFIX)/bin/diaposishell"
 	rm -f "$(PREFIX)/share/man/man1/diaposishell.1"
+
+lint:
+	shellcheck -o all diaposishell
+	shellcheck -o all example/02-script.sh
+	mandoc -Tlint -Wbase diaposishell.1