diff options
Diffstat (limited to 'Build/source/texk/web2c/mplibdir/ChangeLog')
-rw-r--r-- | Build/source/texk/web2c/mplibdir/ChangeLog | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/mplibdir/ChangeLog b/Build/source/texk/web2c/mplibdir/ChangeLog index e7297c08285..67951d562e5 100644 --- a/Build/source/texk/web2c/mplibdir/ChangeLog +++ b/Build/source/texk/web2c/mplibdir/ChangeLog @@ -1,3 +1,10 @@ +2014-09-16 Peter Breitenlohner <peb@mppmu.mpg.de> + + * am/libmplib.am: Build a separate library libmputil.a from + distributed *.[ch] files. Move respective rules from here ... + * am/libmputil.am (new): ... to here. + * am/mplib.am (mpost_LDADD): Add libmputil.a. + 2014-09-06 Peter Breitenlohner <peb@mppmu.mpg.de> * mpxout.w (bad_dvi_two): Correctly use mpx_abort(). |