[sudo-commits] sudo changeset 8332:fab4a5b68708

[Todd C. Miller]

changeset:	8332:fab4a5b68708 in /home/hg/sudo
details:	http://www.sudo.ws/repos/sudo/rev/fab4a5b68708
user:		Todd C. Miller <Todd.Miller at courtesan.com>
date:		Wed Aug 15 15:10:50 2012 -0400

Log Message:
	For cat pages there is nothing to make unless DEVEL is set.

diffstat:

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