From 52e24741eceb68db4eafa6be7978cff8a75fb8df Mon Sep 17 00:00:00 2001 From: Bruno Haible Date: Wed, 20 Mar 2024 11:13:54 +0100 Subject: [PATCH] gnulib-tool.sh: Undocument the --[no-]cache-modules options. Reported by Collin Funk in . Rationale: . * gnulib-tool.sh (func_usage): Don't mention --cache-modules, --no-cache-modules. --- ChangeLog | 10 ++++++++++ gnulib-tool.sh | 2 -- 2 files changed, 10 insertions(+), 2 deletions(-) diff --git a/ChangeLog b/ChangeLog index fc095fd92c..09ab4ac158 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,13 @@ +2024-03-20 Bruno Haible + + gnulib-tool.sh: Undocument the --[no-]cache-modules options. + Reported by Collin Funk in + . + Rationale: + . + * gnulib-tool.sh (func_usage): Don't mention --cache-modules, + --no-cache-modules. + 2024-03-20 Collin Funk gnulib-tool.py: Don't print empty Automake snippets. diff --git a/gnulib-tool.sh b/gnulib-tool.sh index c4b9bc5909..2081ed049e 100755 --- a/gnulib-tool.sh +++ b/gnulib-tool.sh @@ -228,8 +228,6 @@ General options: directory. --local-dir=DIRECTORY Specify a local override directory where to look up files before looking in gnulib's directory. - --cache-modules Enable module caching optimization. - --no-cache-modules Disable module caching optimization. --verbose Increase verbosity. May be repeated. --quiet Decrease verbosity. May be repeated. -- 2.39.5