12 lines
327 B
Diff
12 lines
327 B
Diff
--- ./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
|