Date: Thu, 20 Apr 2006 20:07:58 +0200 From: "Pawel Worach" <pawel.worach@gmail.com> To: doc@freebsd.org Subject: [patch] ipmi(4) typo Message-ID: <d227e09e0604201107u68b31b50kd465f6070f3fa69f@mail.gmail.com>
next in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?d227e09e0604201107u68b31b50kd465f6070f3fa69f>