Re: gnulib: update

[Hans Åberg]

> On 31 Jul 2022, at 11:04, Akim Demaille <akim.demaille@gmail.com> wrote:
> 
> We are still unable to complete distcheck successfully.

I found it useless, because it makes the sources read only, and then force 
compiles sources that are set to not compile: lexer, parser, PDF, or whatever. 
So if one has set it so that only developers should compile those because 
ordinary users may not have access to the correct tools and updating in the 
source directory, it will fail. The developers of the feature see no problem in 
this.