diff options
Diffstat (limited to 'Master/bin/win32/demo.bat')
-rwxr-xr-x | Master/bin/win32/demo.bat | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/Master/bin/win32/demo.bat b/Master/bin/win32/demo.bat new file mode 100755 index 00000000000..4cf04f380c0 --- /dev/null +++ b/Master/bin/win32/demo.bat @@ -0,0 +1,17 @@ +@echo off + +rem TeX Live win32 bin directory; ends with backslash +rem This should also work with UNC names +set tlwinbin=%~dp0 + +set PERL5SAVE=%PERL5LIB% + +set PERL5LIB=%tlwinbin%..\..\tlpkg\lib\Perl5_lib-TL_inst +"%tlwinbin%..\..\tlpkg\bin\perl" "%~dpn0" %1 %2 %3 %4 %5 %6 %7 %8 %9 +pause Done + +rem cleanup in case of start from command-line + +set PERL5LIB=%PERL5SAVE% +set PERL5SAVE= +set tlwinbin= |