# HG changeset patch
# User gabucino
# Date 992758865 0
# Node ID d8128ae8d0873739c3834b76912a16f8dd7101bb
# Parent  ccdc809e8849545408f9b0d5806ca600c8cf754a
*** empty log message ***

diff -r ccdc809e8849 -r d8128ae8d087 DOCS/BUGS
--- a/DOCS/BUGS	Sun Jun 17 01:29:35 2001 +0000
+++ b/DOCS/BUGS	Sun Jun 17 06:21:05 2001 +0000
@@ -37,7 +37,7 @@
 - slow machine (cpu or vga)
   try with -vo null, if it plays well, then you have slow VGA card/driver:
   Workaround: buy a faster card or read DOCS/VIDEOCARDS about how to speed up
-  SOLVED: try -framedrop  (maybe -hardframedrop)
+  SOLVED: try -framedrop
 
 Audio delay/de-sync specific to one or a few files:
 - bad file (please upload the file, so we can check & fix)
diff -r ccdc809e8849 -r d8128ae8d087 DOCS/mplayer.1
--- a/DOCS/mplayer.1	Sun Jun 17 01:29:35 2001 +0000
+++ b/DOCS/mplayer.1	Sun Jun 17 06:21:05 2001 +0000
@@ -47,7 +47,6 @@
 .RB [ \-dumpsub ]
 .RB [ \-noframedrop ]
 .RB [ \-framedrop ]
-.RB [ \-hardframedrop ]
 .RB [ \-dvdkey\ key ]
 .RB [ \-stereo\ mode ]
 .RB [ \-srate\ Hz ]
@@ -243,10 +242,6 @@
 .B \-framedrop
 frame dropping : decode all frames, video may skip
 .TP
-.B \-hardframe
-hard frame dropping : skip even decoding (when using with DivX also
-specify -nodshow !!!)
-.TP
 .B \-dvdkey key
 key to decrypt stream encrypted with CSS. For example : -dvdkey F169072699
 (this is NOT for DVD playing! For DVD use the -dvdauth option!)