From: Bruno Haible Date: Tue, 12 Nov 2024 19:22:38 +0000 (+0100) Subject: gnulib-tool: Fix comment. X-Git-Url: https://gitweb.git.savannah.gnu.org/gitweb/?a=commitdiff_plain;h=810390f495b74f4ac9eb05fa19e164db63b9074e;p=gnulib.git gnulib-tool: Fix comment. Reported by Gavin Smith in . * gnulib-tool: Fix comment. --- diff --git a/ChangeLog b/ChangeLog index 3f283978c3..c4a9230a95 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,10 @@ +2024-11-12 Bruno Haible + + gnulib-tool: Fix comment. + Reported by Gavin Smith in + . + * gnulib-tool: Fix comment. + 2024-11-12 Paul Eggert bootstrap: tune Octave bootstrap --gnulib-refdir diff --git a/gnulib-tool b/gnulib-tool index 5cfc5bbb52..586464c147 100755 --- a/gnulib-tool +++ b/gnulib-tool @@ -24,7 +24,9 @@ # The environment variable GNULIB_TOOL_IMPL can have four possible values: # - GNULIB_TOOL_IMPL=sh chooses the shell implementation. # - GNULIB_TOOL_IMPL=py chooses the Python implementation. -# - GNULIB_TOOL_IMPL= chooses the default (currently sh). +# - GNULIB_TOOL_IMPL= chooses the default (the Python implementation +# if a suitable Python version is found, the shell +# implementation otherwise). # - GNULIB_TOOL_IMPL=sh+py runs both implementations and compares the # results.