# HG changeset patch
# User diego
# Date 1280299670 0
# Node ID 69eadc0c537210e0587206b672a84381b6571ae7
# Parent  ca68c0b0f4c42a87a7c3187128e10c741a183115
Adding XML entities for the English XML files to main.xml is enough.
The English version is the master and will always be complete.

diff -r ca68c0b0f4c4 -r 69eadc0c5372 DOCS/xml/configure
--- a/DOCS/xml/configure	Wed Jul 28 06:08:55 2010 +0000
+++ b/DOCS/xml/configure	Wed Jul 28 06:47:50 2010 +0000
@@ -158,7 +158,7 @@
 [
 EOF
 
-  for file in `find $lang en -name \*.xml -exec basename \{\} \; | sort -u`; do
+  for file in $(find en -name \*.xml -exec basename \{\} \;); do
     echo '<!ENTITY '$file' SYSTEM "'$file'">' >> $lang/main.xml
   done