# HG changeset patch
# User diego
# Date 1211131971 0
# Node ID a30e8bd1d5ddbb1d79c2280f63aa56e4f04d9f7e
# Parent  722a17fd9f75fcaf9f6988baae2bfc87272286d5
10l: Fix MAN_LANG creation for real this time.

diff -r 722a17fd9f75 -r a30e8bd1d5dd configure
--- a/configure	Sun May 18 17:22:53 2008 +0000
+++ b/configure	Sun May 18 17:32:51 2008 +0000
@@ -2596,7 +2596,7 @@
     MAN_LANG_ALL="$lang $MAN_LANG_ALL"
   fi
 done
-MAN_LANG="$(echo $MAN_LANG_ALL | sed 's/en //')"
+MAN_LANG="$(echo $MAN_LANG_ALL | sed 's/en//')"
 _doc_lang=$_language
 test -d DOCS/xml/$_doc_lang || _doc_lang=en
 echores "using $_language (man pages: $MAN_LANG_ALL)"