diff options
Diffstat (limited to 'Master/bin/win32')
-rwxr-xr-x | Master/bin/win32/makeglossaries.bat | 11 |
1 files changed, 3 insertions, 8 deletions
diff --git a/Master/bin/win32/makeglossaries.bat b/Master/bin/win32/makeglossaries.bat index fe949613d7c..d91f67bd3e9 100755 --- a/Master/bin/win32/makeglossaries.bat +++ b/Master/bin/win32/makeglossaries.bat @@ -1,8 +1,3 @@ -@echo off
-rem tl-w32-starter.bat
-rem universal script starter, batch file part
-rem this program calls the tl-w32-wrapper.texlua
-setlocal
-set ownpath=%~dp0%
-texlua "%ownpath%tl-w32-wrapper.texlua" "%~dpn0" %*
-endlocal
+@rem = '-*- Perl -*- +@echo off +perl -S "%~dp0makeglossaries" %* |