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"