Re: 'make clean' not working

[Hans Åberg]

> On 23 Sep 2021, at 18:42, Akim Demaille <akim@lrde.epita.fr> wrote:
> 
>> Le 23 sept. 2021 à 09:31, Hans Åberg <haberg-1@telia.com> a écrit :
>> 
>>> I can't reproduce your problem.  I have run configure, make, make clean,
>>> make, without any problem (autoconf was not called).  Maybe something was
>>> touched in your tree, I don't know.
>> 
>> I can reproduce the problem by modifying a file by touching it after the 
>> build (tried with an m4 file) and making sure autoconf is not in the PATH.
> 
> That's expected: if you touch something that requires Autoconf, of course 
> autoconf is fired.
> 
> Andrea said he did nothing like that, yet autoconf was called.

Then it does not happen here: I moved a file, made a copy to the original name, 
and the problem showed. Then I deleted the copy, and moved the original back, 
and then it did not happen.