diff options
| author | Simon Josefsson <simon@josefsson.org> | 2022-10-25 23:39:15 +0200 |
|---|---|---|
| committer | Simon Josefsson <simon@josefsson.org> | 2022-10-25 23:39:15 +0200 |
| commit | 1575cb2bb925bd0b4bd160e06e05d39303c5cca5 (patch) | |
| tree | b1d162fe517980de7a179192e75a66e4b02ffc1f /build-aux | |
| parent | 0814a293a4e40e49a8a0d2d5d94f04cc170a7e2a (diff) | |
| download | gnulib-1575cb2bb925bd0b4bd160e06e05d39303c5cca5.tar.gz | |
gendocs: Output timestamp in English.
* build-aux/gendocs.sh (SETLANG): Add LC_TIME= for "date".
Diffstat (limited to 'build-aux')
| -rwxr-xr-x | build-aux/gendocs.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/build-aux/gendocs.sh b/build-aux/gendocs.sh index f6811eea46..ff00029283 100755 --- a/build-aux/gendocs.sh +++ b/build-aux/gendocs.sh @@ -2,7 +2,7 @@ # 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=2022-01-01.00 +scriptversion=2022-10-25.23 # Copyright 2003-2022 Free Software Foundation, Inc. # @@ -40,7 +40,7 @@ srcdir=`pwd` scripturl="https://git.savannah.gnu.org/cgit/gnulib.git/plain/build-aux/gendocs.sh" templateurl="https://git.savannah.gnu.org/cgit/gnulib.git/plain/doc/gendocs_template" -: "${SETLANG="env LANG= LC_MESSAGES= LC_ALL= LANGUAGE="}" +: "${SETLANG="env LANG= LC_TIME= LC_MESSAGES= LC_ALL= LANGUAGE="}" : "${MAKEINFO="makeinfo"}" : "${TEXI2DVI="texi2dvi"}" : "${DOCBOOK2HTML="docbook2html"}" |