its-pointless 5376c248da fix texindex to not use gawk as awk bin.. (#2633)		2018-07-12 09:20:22 +02:00
..
build.sh	fix texindex to not use gawk as awk bin.. (#2633)	2018-07-12 09:20:22 +02:00