# HG changeset patch
# User gpoirier
# Date 1214853151 0
# Node ID ad77d9f174ca3cde7608879ff035b7c6bf374999
# Parent  b6a29c4cf10f7227d47c6c3e54aa4ee352c27832
consistency fix: capitalize Windows Media Player, and add <application> tag around it.

diff -r b6a29c4cf10f -r ad77d9f174ca DOCS/xml/en/documentation.xml
--- a/DOCS/xml/en/documentation.xml	Mon Jun 30 19:08:20 2008 +0000
+++ b/DOCS/xml/en/documentation.xml	Mon Jun 30 19:12:31 2008 +0000
@@ -83,8 +83,9 @@
 
 <para>
 The player is rock solid playing damaged MPEG files (useful for some VCDs),
-and it plays bad AVI files which are unplayable with the famous windows
-media player. Even AVI files without index chunk are playable, and you can
+and it plays bad AVI files which are unplayable with the famous
+<application>Windows Media Player</application>.
+Even AVI files without index chunk are playable, and you can
 temporarily rebuild their indexes with the <option>-idx</option> option, or
 permanently with <application>MEncoder</application>, thus enabling
 seeking!  As you see, stability and quality are the most important things,