stardis

commit 0d23e00d1e5b113c4499e87c1992416d07e4b0a3
parent 83ed28cf37d6dea4e67dc59b31a63d4048aab359
Author: Vincent Forest <vincent.forest@meso-star.com>
Date:   Fri,  2 Feb 2024 15:18:27 +0100

Add stardis-output manual page to Makefile "lint" target

Its absence was in fact an oversight

Diffstat:
M
Makefile
 | 
1
+

1 file changed, 1 insertion(+), 0 deletions(-)
diff --git a/Makefile b/Makefile
@@ -189,3 +189,4 @@ lint: man
 	shellcheck -o all make.sh
 	mandoc -Tlint -Wall doc/stardis.1 || [ $$? -le 1 ]
 	mandoc -Tlint -Wall doc/stardis-input.5 || [ $$? -le 1 ]
+	mandoc -Tlint -Wall doc/stardis-output.5 || [ $$? -le 1 ]