diff options
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 | 4 |
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 |