# HG changeset patch
# User wight
# Date 1069090582 0
# Node ID 41e187a49bf369a6d059be8c2ed9b7d7fa543d63
# Parent  f5c5e222a80897574ac31d005b70e489930f3d1f
proper name instead of here

diff -r f5c5e222a808 -r 41e187a49bf3 DOCS/xml/en/install.xml
--- a/DOCS/xml/en/install.xml	Mon Nov 17 17:33:25 2003 +0000
+++ b/DOCS/xml/en/install.xml	Mon Nov 17 17:36:22 2003 +0000
@@ -130,7 +130,7 @@
   of decoding H263/MJPEG/RV10/DivX3/DivX4/DivX5/MP41/MP42/WMV1/WMV2/SVQ1/SVQ3 encoded video
   streams and WMA (Windows Media Audio) v1/v2 audio streams, on multiple
   platforms. It is also known to be the fastest for this task. See
-  <link linkend="ffmpeg">this section</link> for details. Features:
+  <link linkend="ffmpeg">FFmpeg</link> section for details. Features:
   <itemizedlist>
   <listitem><simpara>
     gain decoding of videos mentioned above, on non-x86 machines