diff options
Diffstat (limited to 'Build/source/texk/web2c/pmpostdir/pmpost.ch')
-rw-r--r-- | Build/source/texk/web2c/pmpostdir/pmpost.ch | 6 |
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 { |