commit: 6f87951b936740960debca1c7ed8433e0364e2a7
parent daf5f024f5307fe875088791421dfaa3b5cb7089
Author: Haelwenn (lanodan) Monnier <contact@hacktivis.me>
Date: Fri, 18 Feb 2022 01:40:37 +0100
Makefile: Add mandoc linting
Diffstat:
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/Makefile b/Makefile
@@ -4,13 +4,15 @@ PREFIX = /usr/local
BINDIR = $(PREFIX)/bin
MANDIR = $(PREFIX)/share/man
+MANDOC = mandoc
+
EXE = deblob
TEST_BLOBS = test/fixtures/hello test/fixtures/hello.a test/fixtures/hello.o
CFLAGS = -Os -s
all: $(EXE)
-deblob: main.ha
+$(EXE): main.ha
hare build
.PHONY: clean
@@ -26,6 +28,7 @@ test: all $(TEST_BLOBS)
cp -r test/fixtures test/check_dir-fixtures
hare test
rm -fr test/check_dir-fixtures
+ $(MANDOC) -Tlint -Wunsupp,error,warning $(EXE).1
.PHONY: install
install: