summaryrefslogtreecommitdiff
path: root/Build
diff options
context:
space:
mode:
authorAkira Kakuto <kakuto@fuk.kindai.ac.jp>2014-10-30 14:16:48 +0000
committerAkira Kakuto <kakuto@fuk.kindai.ac.jp>2014-10-30 14:16:48 +0000
commit299c251d6671dcc17253160ff29641e86912a7ed (patch)
treee34aa674e57e5abca6d646ca04b3b23fe6645d70 /Build
parent70ac4914518e0436396c21b8b358ac89b75220ac (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')
-rw-r--r--Build/source/texk/web2c/pmpostdir/ChangeLog4
-rw-r--r--Build/source/texk/web2c/pmpostdir/pmpost.ch6
-rw-r--r--Build/source/texk/web2c/pmpostdir/pmpxout.ch10
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