summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xMaster/install-tl.bat8
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