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

2015-06-26 Thread Jörg-Volker Peetz
Package: texinfo Version: 5.9.96.dfsg.1-1 Severity: wishlist Dear Maintainer(s), is it possible to weaken the dependency on gawk to awk in order to allow alternative awk packages? -- Best regards, Jörg-Volker. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a

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

2015-06-26 Thread Norbert Preining
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

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

2015-06-26 Thread Jörg-Volker Peetz
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

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

2015-06-26 Thread Norbert Preining
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