diff options
-rwxr-xr-x | Master/install-tl.bat | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/Master/install-tl.bat b/Master/install-tl.bat index a0d1837ada2..35e1eadde9c 100755 --- a/Master/install-tl.bat +++ b/Master/install-tl.bat @@ -1,5 +1,13 @@ @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
|