summaryrefslogtreecommitdiff
path: root/Build/source
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source')
-rw-r--r--Build/source/texk/web2c/pmpostdir/ChangeLog4
-rw-r--r--Build/source/texk/web2c/pmpostdir/pmpost.ch4
2 files changed, 6 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/pmpostdir/ChangeLog b/Build/source/texk/web2c/pmpostdir/ChangeLog
index 49468b17053..40d4f765d44 100644
--- a/Build/source/texk/web2c/pmpostdir/ChangeLog
+++ b/Build/source/texk/web2c/pmpostdir/ChangeLog
@@ -1,3 +1,7 @@
+2019-01-29 Akira Kakuto <kakuto@w32tex.org>
+
+ * pmpost.ch: adapt to the new mpost.w.
+
2018-12-21 Karl Berry <karl@freefriends.org>
* am/pmpost.am (bin_links): make r* links at install time;
diff --git a/Build/source/texk/web2c/pmpostdir/pmpost.ch b/Build/source/texk/web2c/pmpostdir/pmpost.ch
index a58918998b9..d467528b031 100644
--- a/Build/source/texk/web2c/pmpostdir/pmpost.ch
+++ b/Build/source/texk/web2c/pmpostdir/pmpost.ch
@@ -263,7 +263,7 @@ else
@x
if (dvitomp_only) {
- @<Read and set dvitomp command line options@>;
+ @<Read and set \.{dvitomp} command line options@>;
} else {
@y
kanjioption[0] = '\0';
@@ -280,7 +280,7 @@ else
#endif
if (dvitomp_only) {
- @<Read and set dvitomp command line options@>;
+ @<Read and set \.{dvitomp} command line options@>;
} else {
@z