On Wed, 2023-01-18 at 15:22 +0100, Frank Heckenbach wrote: > > > Of course, make should remake a, but not due to b but because > > > it's phony. > > > > Please provide info about what version of GNU make you're using. > > This was 4.4. I now see it's fixed in the latest RC, so forget about > it. ;)
We aim to please!! :D :)