# HG changeset patch
# User diego
# Date 1051006401 0
# Node ID 95f50526204d66452212b3011cf7b71bcb924b79
# Parent  0ed75f50f2dfe61deafdeaa4315b5d93c852e54c
- and -use-stdin are not the same.

diff -r 0ed75f50f2df -r 95f50526204d DOCS/en/mplayer.1
--- a/DOCS/en/mplayer.1	Tue Apr 22 00:22:24 2003 +0000
+++ b/DOCS/en/mplayer.1	Tue Apr 22 10:13:21 2003 +0000
@@ -232,7 +232,7 @@
 
 .SH "PLAYER OPTIONS (MPLAYER ONLY)"
 .TP
-.B \-, \-use-stdin
+.B \-use-stdin
 The standard input (aka. stdin) will be used to read data instead of key
 events. If you open /dev/stdin (or the equivalent on your system), use stdin
 in a playlist or intend to read from stdin later on via the openfile or