# HG changeset patch
# User diego
# Date 1212584281 0
# Node ID 1c94c6cb72ec7400964c8de2c84c77e9bcde009d
# Parent 201edd6f563c2850950c39bb7b7af737f1465a32
Remove references to removed configure options.
diff -r 201edd6f563c -r 1c94c6cb72ec DOCS/xml/en/codecs.xml
--- a/DOCS/xml/en/codecs.xml Wed Jun 04 12:38:45 2008 +0000
+++ b/DOCS/xml/en/codecs.xml Wed Jun 04 12:58:01 2008 +0000
@@ -174,9 +174,7 @@
/usr/local/include/.
- Recompile MPlayer with
-
- .
+ Recompile MPlayer.