gendocs.sh puts a localized date into index.html

[Bruno Haible]

Hi,

When I ran the command

   ./gendocs.sh gettext "GNU gettext"

gendocs put a German month name into the index.html:

  <address>Free Software Foundation</address>
  <address>last updated Januar 12, 2008</address>

Obviously it shouldn't do that if I'm generating English documentation.
Here is a fix:

2008-01-12  Bruno Haible  <address@hidden>

        * util/gendocs.sh (curdate): Execute 'date' command in the locale
        specified by SETLANG.

*** util/gendocs.sh     24 Oct 2007 13:31:06 -0000      1.23
--- util/gendocs.sh     12 Jan 2008 22:14:50 -0000
***************
*** 308,314 ****
  else
     CONDS="/%%ENDIF.*%%/d;/%%IF  *HTML_SECTION%%/d;/%%IF  *HTML_CHAPTER%%/d"
  fi
! curdate=`date '+%B %d, %Y'`
  sed \
     -e "s!%%TITLE%%!$MANUAL_TITLE!g" \
     -e "s!%%DATE%%!$curdate!g" \
--- 308,314 ----
  else
     CONDS="/%%ENDIF.*%%/d;/%%IF  *HTML_SECTION%%/d;/%%IF  *HTML_CHAPTER%%/d"
  fi
! curdate=`$SETLANG date '+%B %d, %Y'`
  sed \
     -e "s!%%TITLE%%!$MANUAL_TITLE!g" \
     -e "s!%%DATE%%!$curdate!g" \