# HG changeset patch
# User acki2
# Date 992812941 0
# Node ID 41da1a5e7d1cf06f1c979b16c2533cdfac41cfba
# Parent  20612a4399d8c524d6af1b92c29a9793b8a17799
- forgot to add -(no)double in command-line pattern

diff -r 20612a4399d8 -r 41da1a5e7d1c DOCS/mplayer.1
--- a/DOCS/mplayer.1	Sun Jun 17 21:20:29 2001 +0000
+++ b/DOCS/mplayer.1	Sun Jun 17 21:22:21 2001 +0000
@@ -48,6 +48,8 @@
 .RB [ \-dumpsub ]
 .RB [ \-noframedrop ]
 .RB [ \-framedrop ]
+.RB [ \-nodouble ]
+.RB [ \-double ]
 .RB [ \-dvdkey\ key ]
 .RB [ \-stereo\ mode ]
 .RB [ \-srate\ Hz ]