[sudo-commits] sudo changeset 11823:8058378c4b35

[Todd C. Miller]

changeset:	11823:8058378c4b35 in /raid/repos/sudo
details:	https://www.sudo.ws/repos/sudo/rev/8058378c4b35
user:		Todd C. Miller <Todd.Miller at sudo.ws>
date:		Wed Oct 16 14:29:12 2019 -0600

Log Message:
	Be more consistent with how we talk about sudoers Defaults settings.
	Use "flag" not "option" when referring to boolean flags.
	Use "setting" in place of "Defaults setting" in most places.
	Use "the foo option" instead of "sudo's foo option" for command line options.

diffstat:

 doc/sudoers.man.in  |  81 ++++++++++++++++++++++++----------------------------
 doc/sudoers.mdoc.in |  81 ++++++++++++++++++++++++----------------------------
 2 files changed, 74 insertions(+), 88 deletions(-)