Bug#790019: texinfo: depends on gawk, but texindex calls mawk

2015-06-26 Thread Sven Joachim
Package: texinfo Version: 5.9.96.dfsg.1-1 Severity: serious I read bug #790004 and wondered where gawk is actually called… turns out it isn't, since on i386 (and most likely on other architectures) texindex actually calls mawk: --8---cut here---start-8--- ---

Bug#790019: texinfo: depends on gawk, but texindex calls mawk

2015-06-26 Thread Norbert Preining
On Fri, 26 Jun 2015, Sven Joachim wrote: - awk_binary=gawk + awk_binary=mawk That is due to auto-detection of awk in the configure script. I had to build several other packages in a chroot and had gawk installed there. I have already a package in testing that changes that to