# 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