# HG changeset patch
# User lumag
# Date 1051813755 0
# Node ID 6a533a27818f8657bd89fea0cb33817a9632d263
# Parent  89c3480b333c3cc154ffb14fbd16e9abc5d2e71f
Small fix: removed duplicated word 'page'

diff -r 89c3480b333c -r 6a533a27818f DOCS/xml/en/users-vs-dev.xml
--- 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