[bug#73769] [PATCH] automake: distribute local gnulib directory modules

2024-10-15 Thread Bruno Haible via Patches for Automake
Michael Pratt wrote: > Specifically, not that any re-generation "should" be done, > but that users of the tarball should have the "ability" to. > And like I said, I think we still agree on that... Yes, we agree on that. > > I'm glad that you are realizing the big mistake you were doing: Based on

[bug#73769] [PATCH] automake: distribute local gnulib directory modules

2024-10-15 Thread Nick Bowler
On 2024-10-12 06:29, Michael Pratt via Patches for Automake wrote: > When gnulib-tool or a bootstrap script uses the option --local-dir, > include the "modules" files in a release with DIST_COMMON. Otherwise, > these source files are present in checkouts but not in distribution. I agree that missi

[bug#73769] [PATCH] automake: distribute local gnulib directory modules

2024-10-15 Thread Michael Pratt via Patches for Automake
Hi again, On Monday, October 14th, 2024 at 05:47, Bruno Haible wrote: > > > Michael Pratt wrote: > > > I believe many of you have read this already. > > > > https://lists.gnu.org/archive/html/bug-gnulib/2024-05/msg00124.html > > ... > > So hopefully we all agree that in general this shoul