[sudo-commits] sudo changeset 9547:716af03dcfb7

[Todd C. Miller]

changeset:	9547:716af03dcfb7 in /home/hg/sudo
details:	http://www.sudo.ws/repos/sudo/rev/716af03dcfb7
user:		Todd C. Miller <Todd.Miller at courtesan.com>
date:		Thu Jul 17 08:40:26 2014 -0600

Log Message:
	Fix man page post-processing; it was deleting more than intended.

diffstat:

 doc/fixman.sh  |  29 ++++++++++++++---------------
 doc/fixmdoc.sh |  41 ++++++++++-------------------------------
 2 files changed, 24 insertions(+), 46 deletions(-)