diff options
Diffstat (limited to 'Master/bin/win32/texdoctk.bat')
-rw-r--r-- | Master/bin/win32/texdoctk.bat | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/bin/win32/texdoctk.bat b/Master/bin/win32/texdoctk.bat index 43d7d637c7d..fe949613d7c 100644 --- a/Master/bin/win32/texdoctk.bat +++ b/Master/bin/win32/texdoctk.bat @@ -1,7 +1,7 @@ +@echo off
rem tl-w32-starter.bat
rem universal script starter, batch file part
rem this program calls the tl-w32-wrapper.texlua
-@echo off
setlocal
set ownpath=%~dp0%
texlua "%ownpath%tl-w32-wrapper.texlua" "%~dpn0" %*
|