# HG changeset patch
# User diego
# Date 1107608014 0
# Node ID 069ee5fb161c69895266de008df99d4296d6867e
# Parent  e12901b284728b670f65a85baba5193299c261b5
Remove unnecessary options from the -dumpmicrodvdsub command line and add
a few <replaceable> tags as appropiate.

diff -r e12901b28472 -r 069ee5fb161c DOCS/xml/en/install.xml
--- a/DOCS/xml/en/install.xml	Sat Feb 05 11:53:30 2005 +0000
+++ b/DOCS/xml/en/install.xml	Sat Feb 05 12:53:34 2005 +0000
@@ -674,7 +674,7 @@
 <application>MPlayer</application> can do this
 conversion for you:
 
-<screen>mplayer <replaceable>dummy.avi</replaceable> -fps subtitles_fps -subfps avi_fps [-subdelay sec] [-sub subtitle_filename] <replaceable>-dumpmicrodvdsub</replaceable></screen>
+<screen>mplayer -dumpmicrodvdsub -fps <replaceable>subtitles_fps</replaceable> -subfps <replaceable>avi_fps</replaceable> -sub <replaceable>subtitle_filename</replaceable> <replaceable>dummy.avi</replaceable></screen>
 </para>
 
 <para>