diff options
-rwxr-xr-x | Master/bin/win32/dviout.bat | 2 | ||||
-rw-r--r-- | Master/tlpkg/dviout/dviout.par | 1 |
2 files changed, 2 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% %*
diff --git a/Master/tlpkg/dviout/dviout.par b/Master/tlpkg/dviout/dviout.par new file mode 100644 index 00000000000..0cf58fa1802 --- /dev/null +++ b/Master/tlpkg/dviout/dviout.par @@ -0,0 +1 @@ +gen="`mktexpk --mfmode / --dpi ^d --bdpi ^D --mag ^M ^s"
\ No newline at end of file |