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
------------------------------------------------------------------------
PREINING, Norbert http://www.preining.info
JAIST, Japan TeX Live & Debian Developer
GPG: 0x860CDC13 fp: F7D8 A928 26E3 16A1 9FA0 ACF0 6CAC A448 860C DC13
------------------------------------------------------------------------
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
