diff options
Diffstat (limited to 'Master/tlpkg/dviout/gen_pk')
-rw-r--r-- | Master/tlpkg/dviout/gen_pk | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/Master/tlpkg/dviout/gen_pk b/Master/tlpkg/dviout/gen_pk new file mode 100644 index 00000000000..2357e63c5d2 --- /dev/null +++ b/Master/tlpkg/dviout/gen_pk @@ -0,0 +1,8 @@ +%1st
+setlocal
+for %%I in (mktexpk.exe) do set "MKTEXPK_EXE=%%~$PATH:I"
+if not defined MKTEXPK_EXE exit 1
+%2nd
+"%MKTEXPK_EXE%" --mfmode / --dpi ^d --bdpi ^D --mag ^M "^s"
+%3rd
+del %0 & exit %errorlevel%
|