[6260] Double backslashes in Invocation_name's value passed to Gawk.

[Eli Zaretskii]

Revision: 6260
          http://svn.sv.gnu.org/viewvc/?view=rev&root=texinfo&revision=6260
Author:   eliz
Date:     2015-05-10 17:29:27 +0000 (Sun, 10 May 2015)
Log Message:
-----------
Double backslashes in Invocation_name's value passed to Gawk.

Modified Paths:
--------------
    trunk/util/texindex.bat

Modified: trunk/util/texindex.bat
===================================================================
--- trunk/util/texindex.bat     2015-05-10 15:14:58 UTC (rev 6259)
+++ trunk/util/texindex.bat     2015-05-10 17:29:27 UTC (rev 6260)
@@ -52,7 +52,9 @@
 echo %0: could not locate texindex.awk script, quitting
 exit /b 1
 :UserScript
+REM Double each backslash in our name because Gawk will interpret
+REM backslashes in the name such that e.g. \t becomes a TAB
+set mypath=%0
+set escaped=%mypath:\=\\%
 REM Finally, invoke the script
-REM We do not use zeroth arg here because Gawk will interpret
-REM backslashes in the name such that e.g. \t becomes a TAB
-"%awkbinary%" -v Invocation_name="%~nx0" -f "%tiscript%" -- %*
+"%awkbinary%" -v Invocation_name="%escaped%" -f "%tiscript%" -- %*