Re: gnulib: update

[Hans Åberg]

> On 31 Jul 2022, at 11:23, Akim Demaille <akim.demaille@gmail.com> wrote:
> 
> Hans,

Hi Akim,

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

No, if set so that the sources should not be compiled in a normal make, it 
force compiles them anyhow.

In addition, if one uses say LuaTex instead of TeX, it forces the latter anyhow.

So it may replace some tools set by make with other ones.