summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/pmpostdir/pmpost.ch
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/pmpostdir/pmpost.ch')
-rw-r--r--Build/source/texk/web2c/pmpostdir/pmpost.ch6
1 files changed, 6 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/pmpostdir/pmpost.ch b/Build/source/texk/web2c/pmpostdir/pmpost.ch
index cb4c2f117ef..9e1bb4d43a4 100644
--- a/Build/source/texk/web2c/pmpostdir/pmpost.ch
+++ b/Build/source/texk/web2c/pmpostdir/pmpost.ch
@@ -244,6 +244,12 @@ else
@z
@x
+ if (FILESTRCASEEQ(base, "dvitomp"))
+@y
+ if (FILESTRCASEEQ(base, P_UP "dvitomp"))
+@z
+
+@x
if (dvitomp_only) {
@<Read and set dvitomp command line options@>;
} else {