diff options
author | Akira Kakuto <kakuto@fuk.kindai.ac.jp> | 2014-10-30 14:16:48 +0000 |
---|---|---|
committer | Akira Kakuto <kakuto@fuk.kindai.ac.jp> | 2014-10-30 14:16:48 +0000 |
commit | 299c251d6671dcc17253160ff29641e86912a7ed (patch) | |
tree | e34aa674e57e5abca6d646ca04b3b23fe6645d70 /Build/source | |
parent | 70ac4914518e0436396c21b8b358ac89b75220ac (diff) |
web2c/pmpostdir: Cleanup for pdvitomp and updvitomp
git-svn-id: svn://tug.org/texlive/trunk@35472 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source')
-rw-r--r-- | Build/source/texk/web2c/pmpostdir/ChangeLog | 4 | ||||
-rw-r--r-- | Build/source/texk/web2c/pmpostdir/pmpost.ch | 6 | ||||
-rw-r--r-- | Build/source/texk/web2c/pmpostdir/pmpxout.ch | 10 |
3 files changed, 20 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/pmpostdir/ChangeLog b/Build/source/texk/web2c/pmpostdir/ChangeLog index 7865fcbde62..2f7427eed78 100644 --- a/Build/source/texk/web2c/pmpostdir/ChangeLog +++ b/Build/source/texk/web2c/pmpostdir/ChangeLog @@ -1,3 +1,7 @@ +2014-10-30 Akira Kakuto <kakuto@fuk.kindai.ac.jp> + + * pmpost.ch, pmpxout.ch: Cleanup for pdvitomp and updvitomp. + 2014-10-30 Peter Breitenlohner <peb@mppmu.mpg.de> * pmpost.ch [W32TEX]: Handle building of (u)pmpost.dll. 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 { 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 |