# HG changeset patch
# User gabucino
# Date 1002448000 0
# Node ID b8a74eb96c045392fe7d2bd94e80a949d408fabf
# Parent  e3086808ee19fbe11907bc41e9142245ebfa308d
typo fix

diff -r e3086808ee19 -r b8a74eb96c04 DOCS/documentation.html
--- a/DOCS/documentation.html	Sun Oct 07 09:39:05 2001 +0000
+++ b/DOCS/documentation.html	Sun Oct 07 09:46:40 2001 +0000
@@ -131,7 +131,7 @@
 
 <P>MPlayer <I>would be</I> distributable under the terms of the <A
 HREF="http://www.gnu.org/licenses/gpl.html">GNU GPL</A>, but distributing
-binary packages if <B>forbidden</B>, and the MPlayer team ignores bugreports
+binary packages is <B>forbidden</B>, and the MPlayer team ignores bugreports
 from you if you use one! The OpenDivX code has its own license.</P>
 
 <P>I didn't write any codecs, just some players. I spent