[sudo-commits] sudo changeset 10835:e7e7d60316cc

[Todd C. Miller]

changeset:	10835:e7e7d60316cc in /raid/repos/sudo
details:	https://www.sudo.ws/repos/sudo/rev/e7e7d60316cc
user:		Todd C. Miller <Todd.Miller at courtesan.com>
date:		Tue Feb 14 15:56:34 2017 -0700

Log Message:
	Split out tags again so they must precede the command and not allow
	them to be mixed in with options.

diffstat:

 doc/fixman.sh           |    6 +-
 doc/fixmdoc.sh          |    6 +-
 doc/sudoers.cat         |   35 +-
 doc/sudoers.man.in      |   46 ++-
 doc/sudoers.mdoc.in     |   44 ++-
 plugins/sudoers/gram.c  |  739 ++++++++++++++++++++++++-----------------------
 plugins/sudoers/gram.h  |    1 +
 plugins/sudoers/gram.y  |   98 +++--
 plugins/sudoers/parse.h |    1 -
 9 files changed, 522 insertions(+), 454 deletions(-)