On Wed, Nov 13, 2024 at 02:36:40AM +0100, Bruno Haible wrote:
> Hi Gavin,
>
> > I wanted to remove "copy-file", but it actually removed every other module.
>
> Thanks for the report. I am committing this probable fix (untested). Can you
> please give it a try?
I can confirm this works. Thanks f
Hi Gavin,
> I wanted to remove "copy-file", but it actually removed every other module.
Thanks for the report. I am committing this probable fix (untested). Can you
please give it a try?
2024-11-12 Bruno Haible
gnulib-tool.py: Fix logic of --remove-import option.
Reported by
In the Texinfo project, I wanted to try to remove a gnulib module. The
command I ran was:
../../../../gnulib/gnulib-tool --remove-import copy-file
This is inside a deeply nested directory in the project source code.
However, this has the opposite effect to that intended:
diff --git a/tp/Texinf
Gavin Smith wrote:
> According to the comment in gnulib-tool, sh is supposed to be the
> default, but it is actually Python:
> ...
> # The environment variable GNULIB_TOOL_IMPL can have four possible values:
> # - GNULIB_TOOL_IMPL=sh chooses the shell implementation.
> # - GNULIB_TOOL_IMPL