# HG changeset patch
# User wight
# Date 1105643174 0
# Node ID 82fcd9095fe270d079326fbfa4544fad361ca46f
# Parent  4f3f5f373bc16ae0fb3c5f8f0456b5a95bb4d49a
\- instead of -

diff -r 4f3f5f373bc1 -r 82fcd9095fe2 DOCS/man/en/mplayer.1
--- a/DOCS/man/en/mplayer.1	Thu Jan 13 15:20:36 2005 +0000
+++ b/DOCS/man/en/mplayer.1	Thu Jan 13 19:06:14 2005 +0000
@@ -1870,7 +1870,7 @@
 .RSs
 .IPs device=<devicenum>
 Sets the device number to use.
-Playing a file with -v will show a list of available devices.
+Playing a file with \-v will show a list of available devices.
 .RE
 .PD 1
 .