diff options
Diffstat (limited to 'Build/source/texk/web2c/pmpostdir/pmpxout.ch')
-rw-r--r-- | Build/source/texk/web2c/pmpostdir/pmpxout.ch | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/pmpostdir/pmpxout.ch b/Build/source/texk/web2c/pmpostdir/pmpxout.ch index 0f4acf0f524..eda77848972 100644 --- a/Build/source/texk/web2c/pmpostdir/pmpxout.ch +++ b/Build/source/texk/web2c/pmpostdir/pmpxout.ch @@ -402,6 +402,16 @@ case z0: case four_cases(z1): @z @x + mpx->progname = "dvitomp"; +@y +#ifdef UPMP + mpx->progname = "updvitomp"; +#else + mpx->progname = "pdvitomp"; +#endif +@z + +@x @<Check if mp file is newer than mpxfile, exit if not@>= if (mpx_newer(mpxopt->mpname, mpxopt->mpxname)) return 0 |