Re: texindex awk syntax error

[Eli Zaretskii]

> From: Gavin Smith <gavinsmith0123@gmail.com>
> Date: Sun, 23 Oct 2022 19:54:20 +0100
> Cc: bug-texinfo@gnu.org
> 
> On Sun, Oct 23, 2022 at 08:36:04PM +0200, Bruno Haible wrote:
> > Therefore, on this platform, instead of picking the 'awk' that is found
> > in $PATH, it is a better strategy to look for 'nawk' or 'gawk' in $PATH.
> 
> Thanks for investigating this.  I've made it try nawk as well:

But why should configure try nawk first?  I think it should try awk
first, because on system where Gawk is installed, it installs itself
as awk as well.

I wouldn't want configure to start using a nawk I have installed here,
I want to continue using Gawk, please.