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 616c37593f42280e3c966e0d7704bce9f79797fa..b1ce1dc9beaf67ce7e13e79b39dd95b62360cd4a 100644 (file)
--- 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