diff options
| -rw-r--r-- | Build/source/texk/web2c/mplibdir/ChangeLog | 4 | ||||
| -rw-r--r-- | Build/source/texk/web2c/mplibdir/mp.w | 2 |
2 files changed, 5 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/mplibdir/ChangeLog b/Build/source/texk/web2c/mplibdir/ChangeLog index 1e35866397c..473e5f532f5 100644 --- a/Build/source/texk/web2c/mplibdir/ChangeLog +++ b/Build/source/texk/web2c/mplibdir/ChangeLog @@ -1,3 +1,7 @@ +2014-09-22 Peter Breitenlohner <peb@mppmu.mpg.de> + + * mp.w: Fixed an error message typo. + 2014-09-19 Akira Kakuto <kakuto@fuk.kindai.ac.jp> * pngout.w: Sync with the trunk. Luigi fixes a bug in png text output. diff --git a/Build/source/texk/web2c/mplibdir/mp.w b/Build/source/texk/web2c/mplibdir/mp.w index e4a27a370c5..9ed3ccad359 100644 --- a/Build/source/texk/web2c/mplibdir/mp.w +++ b/Build/source/texk/web2c/mplibdir/mp.w @@ -21467,7 +21467,7 @@ int mp_run_make_mpx (MP mp, char *origname, char *mtxname) { if ( mp->interaction==mp_error_stop_mode ) mp->interaction=mp_scroll_mode; /* no more interaction */ if ( mp->log_opened ) - mp_error(mp, "! Unable to make mpx file", hlp, true); + mp_error(mp, "! Unable to read mpx file", hlp, true); mp->history=mp_fatal_error_stop; mp_jump_out(mp); /* irrecoverable error */ } |