Re: [Gawk manual] Several empty list items in the HTML version

[Alexandre Ferrieux]

Hi,

On 08/10/2024 21:55, Gavin Smith wrote:
>
> Yes the locale.h file (generated from locale.in.h) should not exist
> on release/7.1.  locale.in.h is tracked in git but locale.h is not so
> is not removed by "git switch".  I'll have to find some way of deleting
> this file and others when I switch branches.

On my system, git switch (or checkout) "touches" all the files it affects, so
presumably the dependencies of locale.h (like locale.in.h) , if part of the
difference, should all trigger Make. Why don't they ?