changeset 26793:a30e8bd1d5dd

10l: Fix MAN_LANG creation for real this time.
author diego
date Sun, 18 May 2008 17:32:51 +0000
parents 722a17fd9f75
children cf60ce406b0b
files configure
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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)"