K 10
svn:author
V 3
bcr
K 8
svn:date
V 27
2011-05-25T20:25:13.772015Z
K 7
svn:log
V 127
Document the device name change from gpioctl to gpioc in the
man page.

PR:		docs/157075
Submitted by:	brix
Reviewed by:	gonzo

END