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
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
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
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 c
