changeset 10044:6a533a27818f

Small fix: removed duplicated word 'page'
author lumag
date Thu, 01 May 2003 18:29:15 +0000
parents 89c3480b333c
children 688a206e17d4
files DOCS/xml/en/users-vs-dev.xml
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/DOCS/xml/en/users-vs-dev.xml	Thu May 01 16:55:54 2003 +0000
+++ b/DOCS/xml/en/users-vs-dev.xml	Thu May 01 18:29:15 2003 +0000
@@ -86,7 +86,7 @@
 <procedure>
 <step><para>
   Go to the
-  <ulink url="http://gcc.gnu.org/mirrors.html">GCC mirrors page</ulink>
+  <ulink url="http://gcc.gnu.org/mirrors.html">GCC mirrors</ulink>
   page and download <filename>gcc-core-XXX.tar.gz</filename> where XXX is
   the version number.  This includes the complete C compiler and is sufficient for
   <application>MPlayer</application>. If you also want C++, Java or some of