From: Todd C. Miller <Todd.Miller@sudo.ws>
Date: Sun, 7 Oct 2018 13:26:28 +0000 (-0600)
Subject: Use -Wstyle with -Tlint since sudo is not part of the base system.
X-Git-Tag: SUDO_1_8_26^2~64
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=244be233015990972fe1b9f7693717ebaab11c8e;p=sudo

Use -Wstyle with -Tlint since sudo is not part of the base system.
This avoids "referenced manual not found" and "operating system
explicitly specified" warnings.
---

diff --git a/doc/Makefile.in b/doc/Makefile.in
index 616c37593..b1ce1dc9b 100644
--- a/doc/Makefile.in
+++ b/doc/Makefile.in
@@ -116,8 +116,8 @@ lint: all
 	else \
 	    rval=0; \
 	    for m in $(DOCS); do \
-		echo $(MANDOC) -Tlint $$m; \
-		$(MANDOC) -Tlint $$m || rval=`expr $$rval + $$?`; \
+		echo $(MANDOC) -Tlint -Wstyle $$m; \
+		$(MANDOC) -Tlint -Wstyle $$m || rval=`expr $$rval + $$?`; \
 	    done; \
 	    exit $$rval; \
 	fi