vserver 1.9.5.x5
[linux-2.6.git] / drivers / char / ipmi / Kconfig
index 655a172..a6dcb29 100644 (file)
@@ -12,7 +12,7 @@ config IPMI_HANDLER
          IPMI is a standard for managing sensors (temperature,
          voltage, etc.) in a system.
 
-         See Documentation/IPMI.txt for more details on the driver.
+         See <file:Documentation/IPMI.txt> for more details on the driver.
 
         If unsure, say N.