From 4cf3ff9ad77b81b403af895c38a67a6654af81cd Mon Sep 17 00:00:00 2001
From: Matthias Lang <matthias@corelatus.com>
Date: Tue, 7 May 2013 18:35:40 +0200
Subject: [PATCH] Try out an XML fix for non-ASCII letters

Prior to this change, words like Mexico come out as
Mxico on www.erlang.org. No idea why. This commit
tries a workaround.
---
 introduction.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/introduction.xml b/introduction.xml
index f2ab52c..895d1e3 100644
--- a/introduction.xml
+++ b/introduction.xml
@@ -312,7 +312,7 @@
 
 	<item><p>
 		<url href="http://www.cem.itesm.mx/">Tecnol&oacute;gica de
-		  Monterrey, Campus Estado de M&eacute;xico
+		  Monterrey, Campus Estado de M&#233;xico
 		</url> in the
                 <url href="http://www.arielortiz.com/apps/s200911/tc2006/noticias/">Programming Languages</url> course.
         </p></item>