I wrote:
> So, it's OK to undocument these options in gnulib-tool.sh.
Done:
2024-03-20 Bruno Haible <br...@clisp.org>
gnulib-tool.sh: Undocument the --[no-]cache-modules options.
Reported by Collin Funk in
<https://lists.gnu.org/archive/html/bug-gnulib/2024-03/msg00234.html>.
Rationale:
<https://lists.gnu.org/archive/html/bug-gnulib/2024-03/msg00243.html>.
* gnulib-tool.sh (func_usage): Don't mention --cache-modules,
--no-cache-modules.
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.
