Bug#790004: texinfo: dependency on awk alternative possible?

[Jörg-Volker Peetz <jvpeetz@web.de>]

Hi Norbert,

the texindex script recognizes the environment variable TEXINDEX_AWK to allow
the user to "override for awk program location".
I have installed mawk as only awk (and maxima where I took the texi file from)
and tested

$ TEXINDEX_AWK=/usr/bin/awk usr/bin/texindex abs_integrate.??

which works. That is no surprise since the awk script "texindex.awk" seems to
use no GNU awk extensions.

Regards,
Jörg-Volker.


Norbert Preining wrote on 06/26/2015 09:42:
> Hi Jörg-Volker,
> 
> On Fri, 26 Jun 2015, Jörg-Volker Peetz wrote:
>> is it possible to weaken the dependency on gawk to awk in order to allow
>> alternative awk packages?
> 
> I don't know. You can try: Edit texindex script and change 
> 	gawk
> to
> 	awk
> and then see if it run the same way and produces the same output.
> 
> My guess is that, since gawk is *explicitly* called instead of awk,
> that that might not be possible.
> 
> Norbert
>