diff options
Diffstat (limited to 'Master/bin/win32/dviout.bat')
| -rwxr-xr-x | Master/bin/win32/dviout.bat | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/bin/win32/dviout.bat b/Master/bin/win32/dviout.bat index 4537a9c93f6..1b9d2cdb3f7 100755 --- a/Master/bin/win32/dviout.bat +++ b/Master/bin/win32/dviout.bat @@ -41,7 +41,7 @@ set GS_LIB=%tlroot%\tlpkg\tlgs\fonts;%tlroot%\tlpkg\tlgs\lib;%tlroot%\tlpkg\tlgs path %tlroot%\tlpkg\tlgs\bin;%path%
rem Assemble dviout command
-set cmdstr="%tlroot%\tlpkg\dviout\dviout.exe" -TEXROOT="%tfmpath%"
+set cmdstr="%tlroot%\tlpkg\dviout\dviout.exe" -NULL -TEXROOT="%tfmpath%"
set cmdstr=%cmdstr% -TEXPK="^r\pk\\^s.^dpk;^r\tfm\\^s^tfm;^r\vf\\^s.vf;^r\ovf\\^s.ovf;^r\tfm\\^s.tfm"
rem Start dviout
start "" %cmdstr% %*
|