diff options
Diffstat (limited to 'Master/bin/win32/texdoc.bat')
-rwxr-xr-x | Master/bin/win32/texdoc.bat | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Master/bin/win32/texdoc.bat b/Master/bin/win32/texdoc.bat index fe949613d7c..92397f07fa6 100755 --- a/Master/bin/win32/texdoc.bat +++ b/Master/bin/win32/texdoc.bat @@ -2,7 +2,8 @@ rem tl-w32-starter.bat
rem universal script starter, batch file part
rem this program calls the tl-w32-wrapper.texlua
+rem /!\ special texdoc version: calls a modified wrapper /!\
setlocal
set ownpath=%~dp0%
-texlua "%ownpath%tl-w32-wrapper.texlua" "%~dpn0" %*
+texlua "%ownpath%tl-w32-texdoc-wrapper.texlua" "%~dpn0" %*
endlocal
|