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

[Gavin Smith]

On Tue, Oct 08, 2024 at 09:23:37PM +0200, Patrice Dumas wrote:
> On Tue, Oct 08, 2024 at 08:13:12PM +0100, Gavin Smith wrote:
> > It could only be because I switched from the master branch and there
> > is something left over from building from the master branch.
> 
> ALl the more likely that the gnulib versions of 7.1 and master are
> probably substantially different now.

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.