[sudo-commits] sudo changeset 11453:8a80d8e7b540

[Todd C. Miller]

changeset:	11453:8a80d8e7b540 in /raid/repos/sudo
details:	https://www.sudo.ws/repos/sudo/rev/8a80d8e7b540
user:		Todd C. Miller <Todd.Miller at sudo.ws>
date:		Wed Aug 15 10:02:40 2018 -0600

Log Message:
	For the lint target, don't stop after the first manual that fails lint.

diffstat:

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