Bug#790004: texinfo: dependency on awk alternative possible?
On Fri, 26 Jun 2015, Jörg-Volker Peetz wrote:
> which works. That is no surprise since the awk script "texindex.awk" seems to
> use no GNU awk extensions.
Good, will be in the next upload. Actually the default can be selected
by
AWK=awk ./configure ...
Thanks
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
------------------------------------------------------------------------
Reply to: