diff options
Diffstat (limited to 'Master')
-rwxr-xr-x | Master/bin/win32/tlmgr.bat | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/Master/bin/win32/tlmgr.bat b/Master/bin/win32/tlmgr.bat index 564adbae711..446e39e5c94 100755 --- a/Master/bin/win32/tlmgr.bat +++ b/Master/bin/win32/tlmgr.bat @@ -11,6 +11,9 @@ rem Get TL installation root (w/o trailing backslash) set tlroot=%~dp0:
set tlroot=%tlroot:\bin\win32\:=%
+rem check for any argument
+if x == x%1 goto noargs
+
rem check for gui argument
set args=
@@ -55,6 +58,10 @@ exit /b 1 echo %~nx0: failed to rename "%tlupdater%">&2
exit /b 1
+:noargs
+echo No arguments given!
+
:guibailout
-echo Please use tlshell as a GUI for tlmgr
+echo Use tlshell as a GUI for tlmgr.
+pause
exit /b 1
|