svn commit: r294026 - head/share/man/man4

[Garrett Cooper]

Author: ngie
Date: Thu Jan 14 18:04:49 2016
New Revision: 294026
URL: https://svnweb.freebsd.org/changeset/base/294026

Log:
  Fix spelling of IPMI
  
  Sponsored by: EMC / Isilon Storage Division

Modified:
  head/share/man/man4/ddb.4

Modified: head/share/man/man4/ddb.4
==============================================================================
--- head/share/man/man4/ddb.4	Thu Jan 14 17:44:45 2016	(r294025)
+++ head/share/man/man4/ddb.4	Thu Jan 14 18:04:49 2016	(r294026)
@@ -1437,7 +1437,7 @@ Other bus' bridge chipsets may be able t
 methods.
 There are many PCI and PCIe add-in cards which can generate NMI for
 debugging.
-Modern systems typically use IMPI to generate signals to enter the
+Modern systems typically use IPMI to generate signals to enter the
 debugger.
 The
 .Dv devel/ipmitool