On Sat, Feb 27, 2021 at 04:57:45PM +0100, Bruno Haible wrote: > Therefore I think it will be better to prefer 'gawk' to 'awk' in the configure > test. That is, change > AC_CHECK_PROGS([TI_AWK], [awk mawk gawk], []) > to > AC_CHECK_PROGS([TI_AWK], [gawk awk mawk], []) > > Note: The Autoconf macro AC_PROG_AWK also prefers 'gawk' to all other awk > implementations.
I'll have a look to see if the issue can be fixed any other way, but the reason I changed it away from AC_PROG_AWK was I was irritated when I ran texi2dvi at the time taken for texindex to run in between runs of TeX. The default awk program on my system (which I think is mawk) is much faster so the run time for texindex is not as noticeable.
