From 555596e57a3159bbf6dd29e7ebb9efc75ca624f8 Mon Sep 17 00:00:00 2001 From: "Todd C. Miller" Date: Sat, 26 Jun 2021 18:20:25 -0600 Subject: [PATCH] Use "mandoc -Tlint -Wwarning" instead of -Wstyle. The style checks now include "referenced manual not found" warnings which is not helpful. --- doc/Makefile.in | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/Makefile.in b/doc/Makefile.in index 69b802156..7f154282c 100644 --- a/doc/Makefile.in +++ b/doc/Makefile.in @@ -119,8 +119,8 @@ lint: all else \ rval=0; \ for m in $(DOCS); do \ - echo $(MANDOC) -Tlint -Wstyle $$m; \ - $(MANDOC) -Tlint -Wstyle $$m || rval=`expr $$rval + $$?`; \ + echo $(MANDOC) -Tlint -Wwarning $$m; \ + $(MANDOC) -Tlint -Wwarning $$m || rval=`expr $$rval + $$?`; \ done; \ exit $$rval; \ fi