diff options
| -rwxr-xr-x | DOCS/xml/configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/DOCS/xml/configure b/DOCS/xml/configure index 5814c5706a..88c3b647a3 100755 --- a/DOCS/xml/configure +++ b/DOCS/xml/configure @@ -120,7 +120,7 @@ for lang in `grep 'SUBDIRS =' Makefile|cut -d= -f2`; do [ 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 |