# HG changeset patch # User wight # Date 1073427552 0 # Node ID f15a92de64fdb84d2391a41c715a709e077a4284 # Parent a9dd06d780b828b7ae7e9f8a25b44835cf9c715a proper capitalisation of DivX and the like diff -r a9dd06d780b8 -r f15a92de64fd DOCS/xml/en/bugs.xml --- a/DOCS/xml/en/bugs.xml Tue Jan 06 13:37:55 2004 +0000 +++ b/DOCS/xml/en/bugs.xml Tue Jan 06 22:19:12 2004 +0000 @@ -140,7 +140,7 @@ you try to play DivX 3.x file with OpenDivX decoder or XviD -() - install Divx4Linux and recompile player +() - install DivX4Linux and recompile player diff -r a9dd06d780b8 -r f15a92de64fd DOCS/xml/en/codecs.xml --- a/DOCS/xml/en/codecs.xml Tue Jan 06 13:37:55 2004 +0000 +++ b/DOCS/xml/en/codecs.xml Tue Jan 06 22:19:12 2004 +0000 @@ -130,7 +130,7 @@ -The Divx4/5 binary codec library can be downloaded from +The DivX4/5 binary codec library can be downloaded from avifile or divx.com Unpack it, run ./install.sh as root and do not forget adding @@ -139,7 +139,7 @@ -Get the CVS version of the OLD OpenDivx core library like this: +Get the CVS version of the OLD OpenDivX core library like this: diff -r a9dd06d780b8 -r f15a92de64fd DOCS/xml/en/install.xml --- a/DOCS/xml/en/install.xml Tue Jan 06 13:37:55 2004 +0000 +++ b/DOCS/xml/en/install.xml Tue Jan 06 22:19:12 2004 +0000 @@ -201,7 +201,7 @@ XviD: Open source encoding alternative to - Divx4Linux. Features: + DivX4Linux. Features: 1 pass or 2 pass encoding with @@ -211,7 +211,7 @@ it's open-source, so it's multiplatform. - it's about 2 times faster than divx4 when encoding - about the same + it's about 2 times faster than divX4 when encoding - about the same quality