# HG changeset patch
# User diego
# Date 1074706510 0
# Node ID 43f35b915dc79357e54c1a1b0e7a5b731dc20a7c
# Parent  62539b5964c81433cdf1005d506b5d31ecf4e6a2
uniq is ineffective without sort.

diff -r 62539b5964c8 -r 43f35b915dc7 DOCS/xml/configure
--- a/DOCS/xml/configure	Wed Jan 21 15:25:16 2004 +0000
+++ b/DOCS/xml/configure	Wed Jan 21 17:35:10 2004 +0000
@@ -120,7 +120,7 @@
 [ 
 EOF
 
-  for file in `find $lang en -name \*.xml -exec basename \{\} \; | uniq`; do
+  for file in `find $lang en -name \*.xml -exec basename \{\} \; | sort | uniq`; do
     echo '<!ENTITY '$file'	SYSTEM "'$file'">' >> $lang/main.xml
   done