changeset 14648:069ee5fb161c

Remove unnecessary options from the -dumpmicrodvdsub command line and add a few <replaceable> tags as appropiate.
author diego
date Sat, 05 Feb 2005 12:53:34 +0000
parents e12901b28472
children bef33b354427
files DOCS/xml/en/install.xml
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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>