diff options
Diffstat (limited to 'Master/bin')
-rwxr-xr-x | Master/bin/win32/splitindex.bat | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/Master/bin/win32/splitindex.bat b/Master/bin/win32/splitindex.bat new file mode 100755 index 00000000000..fe949613d7c --- /dev/null +++ b/Master/bin/win32/splitindex.bat @@ -0,0 +1,8 @@ +@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
|