[patch] ipmi(4) typo

Hi,

IPMI seems to be a device and not an option.

Index: share/man/man4/ipmi.4
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
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
_______________________________________________
freebsd-doc@freebsd.org mailing list
http://lists.freebsd.org/mailman/listinfo/freebsd-doc
To unsubscribe, send any mail to "freebsd-doc-unsubscribe@freebsd.org"
