[sudo-commits] sudo changeset 8317:a619fc58a746

[Todd C. Miller]

changeset:	8317:a619fc58a746 in /home/hg/sudo
details:	http://www.sudo.ws/repos/sudo/rev/a619fc58a746
user:		Todd C. Miller <Todd.Miller at courtesan.com>
date:		Fri Aug 10 15:23:41 2012 -0400

Log Message:
	Remove OPTIONS section; options now go inside DESCRIPTION

diffstat:

 doc/sudo.cat           |  3 +--
 doc/sudo.man.in        |  5 ++---
 doc/sudo.mdoc.in       |  5 ++---
 doc/sudoreplay.cat     |  3 +--
 doc/sudoreplay.man.in  |  5 ++---
 doc/sudoreplay.mdoc.in |  5 ++---
 doc/visudo.cat         |  4 +---
 doc/visudo.man.in      |  6 ++----
 doc/visudo.mdoc.in     |  6 ++----
 9 files changed, 15 insertions(+), 27 deletions(-)