Michael Pratt wrote:
> > > What's needed is just the "modules" files which are missing
> >
> >
> > No, the gl/lib/ and gl/tests/ subdirectories are input to gnulib-tool as
> > well.
> > Not only gl/modules/.
> >
> > And you should list the files to add to the tarball, not directories.
>
>
> T
Hi Bruno,
Thanks for making a patch to save us some time.
On Monday, October 14th, 2024 at 05:23, Bruno Haible wrote:
>
>
> Michael Pratt wrote:
>
> > What's needed is just the "modules" files which are missing
>
>
> No, the gl/lib/ and gl/tests/ subdirectories are input to gnulib-tool
On 14/10/2024 10:23, Bruno Haible via GNU coreutils General Discussion wrote:
Michael Pratt wrote:
adding the "gl" directory from source to EXTRA_DIST or however
you all would do it
I agree with the suggestion: In GNU gettext, I have a couple of
local gnulib modules as well, and since gnulib-t
Michael Pratt wrote:
> adding the "gl" directory from source to EXTRA_DIST or however
> you all would do it
I agree with the suggestion: In GNU gettext, I have a couple of
local gnulib modules as well, and since gnulib-tool takes them as
input, I view them as source code. Since the GCS [1] say th
On 12/10/2024 05:37, Michael Pratt wrote:
Hi Pádraig,
Does anything I mentioned sound like a good idea?
Would you prefer if I send a patch in case you are busy?
On Wednesday, October 9th, 2024 at 01:21, Michael Pratt wrote:
While compression would help in this case, it's really not neces
Hi Pádraig,
Does anything I mentioned sound like a good idea?
Would you prefer if I send a patch in case you are busy?
On Wednesday, October 9th, 2024 at 01:21, Michael Pratt wrote:
>
> While compression would help in this case, it's really not necessary to have
> extra copies
> of the so
Hi Pádraig,
On Monday, October 7th, 2024 at 07:03, Pádraig Brady
wrote:
> Well maybe, but then we'd have two copies of these files in the release
> tarball.
While compression would help in this case, it's really not necessary to have
extra copies
of the source itself. What's needed is just t
On 07/10/2024 01:39, Michael Pratt wrote:
In other words, adding the "gl" directory from source to EXTRA_DIST or however
you all would do it,
for those who wish to use the bootstrap script from a release, even though it
is not recommended,
whether it is a modification of those local modules, or
In other words, adding the "gl" directory from source to EXTRA_DIST or however
you all would do it,
for those who wish to use the bootstrap script from a release, even though it
is not recommended,
whether it is a modification of those local modules, or something else in a
local gnulib,
so that
