diff options
Diffstat (limited to 'Master/install-tl.bat')
-rwxr-xr-x | Master/install-tl.bat | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/Master/install-tl.bat b/Master/install-tl.bat index 35e1eadde9c..a0d1837ada2 100755 --- a/Master/install-tl.bat +++ b/Master/install-tl.bat @@ -1,13 +1,5 @@ @echo off
-rem test for existing TeX
-tex -v >nul 2>&1
-if errorlevel 1 goto doit
-echo There is already a TeX! Are you sure you want to continue?
-echo Abort installation with Ctrl-C or continue with any other key.
-pause
-:doit
-
rem TeX Live Root; ends with backslash
rem This should also work with UNC names
set tlroot=%~dp0
|