From 810390f495b74f4ac9eb05fa19e164db63b9074e Mon Sep 17 00:00:00 2001 From: Bruno Haible Date: Tue, 12 Nov 2024 20:22:38 +0100 Subject: [PATCH] gnulib-tool: Fix comment. Reported by Gavin Smith in . * gnulib-tool: Fix comment. --- ChangeLog | 7 +++++++ gnulib-tool | 4 +++- 2 files changed, 10 insertions(+), 1 deletion(-) 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. -- 2.39.5