2021-08-02 15:41:12 +02:00
|
|
|
|
--- ./texindex/texindex.in.orig 2021-08-02 19:07:30.492993668 +0530
|
|
|
|
|
|
+++ ./texindex/texindex.in 2021-08-02 19:09:35.922993620 +0530
|
|
|
|
|
|
@@ -30,7 +30,7 @@
|
|
|
|
|
|
|
|
|
|
|
|
#
|
|
|
|
|
|
# allow user override for awk program location.
|
|
|
|
|
|
-awk_binary=
|
|
|
|
|
|
+awk_binary=gawk
|
|
|
|
|
|
awk_envvar=$TEXINDEX_AWK
|
|
|
|
|
|
if test -n "$awk_envvar"; then
|
|
|
|
|
|
if test -s "$awk_envvar"; then
|
