[sudo-commits] sudo changeset 13304:251757f22498

[Todd C. Miller]

changeset:	13304:251757f22498 in /raid/repos/sudo
details:	https://www.sudo.ws/repos/sudo/rev/251757f22498
user:		Todd C. Miller <Todd.Miller at sudo.ws>
date:		Sat Jun 26 18:20:25 2021 -0600

Log Message:
	Use "mandoc -Tlint -Wwarning" instead of -Wstyle.
	The style checks now include "referenced manual not found" warnings
	which is not helpful.

diffstat:

 doc/Makefile.in |  4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)