# 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.