[patch] ipmi(4) typo

[Pawel Worach]

Hi,

IPMI seems to be a device and not an option.

Index: share/man/man4/ipmi.4
===================================================================
RCS file: /export/ctm/cvs/src/share/man/man4/ipmi.4,v
retrieving revision 1.3
diff -u -r1.3 ipmi.4
--- share/man/man4/ipmi.4       13 Feb 2006 21:34:18 -0000      1.3
+++ share/man/man4/ipmi.4       20 Apr 2006 18:04:13 -0000
@@ -32,7 +32,7 @@
 .Nm ipmi
 .Nd "OpenIPMI compatible IPMI interface driver"
 .Sh SYNOPSIS
-.Cd "options IPMI"
+.Cd "device ipmi"
 .Pp
 .In sys/dev/ipmi.h
 .Ft int

Regards
--
Pawel