mir/sudo
2
0
Fork 0
mirror of https://github.com/sudo-project/sudo.git synced 2025-08-22 09:57:41 +00:00
Code Issues Releases Wiki Activity

Use "mandoc -Tlint -Wwarning" instead of -Wstyle.

Browse Source 
The style checks now include "referenced manual not found" warnings
which is not helpful.
This commit is contained in:
Todd C. Miller 2021-06-26 18:20:25 -06:00
parent 0b809cdafe
commit 555596e57a
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
doc/Makefile.in
View File

@ -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