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