Re: gnulib: update

[Akim Demaille]

Hans,

> Le 31 juil. 2022 à 11:17, Hans Åberg <haberg-1@telia.com> a écrit :
> 
> 
>> 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.

That's the goal indeed: making sure it works even if the sources are on a 
readonly support.

So the feature works as expected.