changeset 28396:65444b642a27

Rename "ARM" section to "ARM Linux".
author diego
date Sun, 01 Feb 2009 13:07:38 +0000
parents c36c89d774e7
children 16063be69792
files DOCS/xml/en/ports.xml
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- 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