# HG changeset patch
# User diego
# Date 1087325051 0
# Node ID 0ec26eeb86244a9bdc5925e3de479dd33b2595b3
# Parent  5f154628f928e13f644419e006584bc08bdc0080
typo

diff -r 5f154628f928 -r 0ec26eeb8624 DOCS/xml/en/ports.xml
--- a/DOCS/xml/en/ports.xml	Tue Jun 15 10:52:36 2004 +0000
+++ b/DOCS/xml/en/ports.xml	Tue Jun 15 18:44:11 2004 +0000
@@ -424,8 +424,8 @@
 </para>
 </sect1>
 
-<sect1 id="hpux">
-<title>HP UX</title>
+<sect1 id="hp-ux">
+<title>HP-UX</title>
 <para>
 Martin Gansser maintains a valuable 
 <ulink url="http://cloud.prohosting.com/patos/docs/mplayer_on_hpux11.htm">HOWTO</ulink>