diff options
Diffstat (limited to 'Master/tlpkg/doc/wingoo-demo.bat')
-rwxr-xr-x | Master/tlpkg/doc/wingoo-demo.bat | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/Master/tlpkg/doc/wingoo-demo.bat b/Master/tlpkg/doc/wingoo-demo.bat new file mode 100755 index 00000000000..a3589ba8d20 --- /dev/null +++ b/Master/tlpkg/doc/wingoo-demo.bat @@ -0,0 +1,31 @@ +@echo off
+
+rem TeX Live Root; ends with backslash
+rem This should also work with UNC names
+set tlroot=%~dp0
+set tldrive=%~d0
+
+%tldrive%
+cd %tlroot%
+
+rem we need wget in the path, so add tlpkg\bin to the path
+set pathsave=%path%
+path %path%;%tlroot%tlpkg\bin
+
+rem use provided Perl
+
+set PERL5SAVE=%PERL5LIB%
+
+set PERL5LIB=%tlroot%tlpkg\lib\Perl5_lib-TL_inst
+"%tlroot%tlpkg\bin\perl" "%tlroot%wingoo-demo.pl"
+
+pause Done
+
+rem cleanup in case of start from command-line
+
+set PERL5LIB=%PERL5SAVE%
+set PERL5SAVE=
+path %pathsave%
+set pathsave=
+set tldrive=
+set tlroot=
|