Re: gnulib: update

> On 31 Jul 2022, at 11:04, Akim Demaille <[email protected]> =
wrote:
>=20
> 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.