[6257] set awk_binary, not awk_configured

[karl]

Revision: 6257
          http://svn.sv.gnu.org/viewvc/?view=rev&root=texinfo&revision=6257
Author:   karl
Date:     2015-05-09 23:24:27 +0000 (Sat, 09 May 2015)
Log Message:
-----------
set awk_binary, not awk_configured

Modified Paths:
--------------
    trunk/ChangeLog
    trunk/texindex/texindex.in

Modified: trunk/ChangeLog
===================================================================
--- trunk/ChangeLog     2015-05-08 23:13:20 UTC (rev 6256)
+++ trunk/ChangeLog     2015-05-09 23:24:27 UTC (rev 6257)
@@ -1,3 +1,7 @@
+2015-05-09  Karl Berry  <address@hidden>
+
+       * texindex/texindex.in: set awk_binary, not awk_configured.
+
 2015-05-09  Eli Zaretskii  <address@hidden>
 
        * info/man.c (get_manpage_from_formatter) <failed exit status>:

Modified: trunk/texindex/texindex.in
===================================================================
--- trunk/texindex/texindex.in  2015-05-08 23:13:20 UTC (rev 6256)
+++ trunk/texindex/texindex.in  2015-05-09 23:24:27 UTC (rev 6257)
@@ -44,7 +44,7 @@
 #
 # else use configured value for awk.
 if test -z "$awk_binary"; then
-  awk_configured="@AWK@"
+  awk_binary="@AWK@"
 fi
 #
 # that should never be empty, but just in case, else fall back to plain