# HG changeset patch
# User diego
# Date 1233493658 0
# Node ID 65444b642a27b9a171f39d183a4e9e71cdff3c61
# Parent  c36c89d774e75a9822d1307d691a1e89e0fed029
Rename "ARM" section to "ARM Linux".

diff -r c36c89d774e7 -r 65444b642a27 DOCS/xml/en/ports.xml
--- a/DOCS/xml/en/ports.xml	Sun Feb 01 12:52:38 2009 +0000
+++ b/DOCS/xml/en/ports.xml	Sun Feb 01 13:07:38 2009 +0000
@@ -61,8 +61,8 @@
 
 <!-- ********** -->
 
-<sect2 id="arm">
-<title>ARM</title>
+<sect2 id="arm_linux">
+<title>ARM Linux</title>
 
 <para>
 <application>MPlayer</application> works on Linux PDAs with ARM CPU e.g. Sharp