texinfo update (Sun Jan 13 13:53:01 EST 2008)

[Karl Berry]

Index: ChangeLog
===================================================================
RCS file: /sources/texinfo/texinfo/ChangeLog,v
retrieving revision 1.797
retrieving revision 1.798
diff -u -r1.797 -r1.798
--- ChangeLog   12 Jan 2008 17:04:28 -0000      1.797
+++ ChangeLog   13 Jan 2008 18:50:21 -0000      1.798
@@ -1,3 +1,8 @@
+2008-01-13  Bruno Haible  <address@hidden>
+
+       * util/gendocs.sh (curdate): Execute 'date' command in the locale
+       specified by SETLANG.
+
 2008-01-12  Bruno Haible  <address@hidden>
 
        * doc/texinfo.txi (Cross Reference Parts): better description of arg2.
Index: util/gendocs.sh
===================================================================
RCS file: /sources/texinfo/texinfo/util/gendocs.sh,v
retrieving revision 1.23
retrieving revision 1.24
diff -u -r1.23 -r1.24
--- util/gendocs.sh     24 Oct 2007 13:31:06 -0000      1.23
+++ util/gendocs.sh     13 Jan 2008 18:50:21 -0000      1.24
@@ -2,9 +2,10 @@
 # gendocs.sh -- generate a GNU manual in many formats.  This script is
 #   mentioned in maintain.texi.  See the help message below for usage details.
 
-scriptversion=2007-10-24.16
+scriptversion=2008-01-13.10
 
-# Copyright (C) 2003, 2004, 2005, 2006, 2007 Free Software Foundation, Inc.
+# Copyright (C) 2003, 2004, 2005, 2006, 2007, 2008
+# Free Software Foundation, Inc.
 #
 # This program is free software; you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published by
@@ -308,7 +309,7 @@
 else
    CONDS="/%%ENDIF.*%%/d;/%%IF  *HTML_SECTION%%/d;/%%IF  *HTML_CHAPTER%%/d"
 fi
-curdate=`date '+%B %d, %Y'`
+curdate=`$SETLANG date '+%B %d, %Y'`
 sed \
    -e "s!%%TITLE%%!$MANUAL_TITLE!g" \
    -e "s!%%DATE%%!$curdate!g" \
P ChangeLog
P util/gendocs.sh