diff options
| -rw-r--r-- | Build/source/texk/web2c/mplibdir/ChangeLog | 4 | ||||
| -rw-r--r-- | Build/source/texk/web2c/mplibdir/mp.w | 14 |
2 files changed, 13 insertions, 5 deletions
diff --git a/Build/source/texk/web2c/mplibdir/ChangeLog b/Build/source/texk/web2c/mplibdir/ChangeLog index b4ac5aaf922..19a2050dee0 100644 --- a/Build/source/texk/web2c/mplibdir/ChangeLog +++ b/Build/source/texk/web2c/mplibdir/ChangeLog @@ -1,3 +1,7 @@ +2009-10-02 Taco Hoekwater <taco@elvenkind.com> + + * Released version of MPLib 1.208 + 2009-08-12 Taco Hoekwater <taco@elvenkind.com> * Released version of MPLib 1.207, including diff --git a/Build/source/texk/web2c/mplibdir/mp.w b/Build/source/texk/web2c/mplibdir/mp.w index 291694a342b..63b7f301da0 100644 --- a/Build/source/texk/web2c/mplibdir/mp.w +++ b/Build/source/texk/web2c/mplibdir/mp.w @@ -1,4 +1,4 @@ - $Id: mp.w 1115 2009-08-12 08:39:15Z taco $ + $Id: mp.w 1118 2009-10-02 08:23:52Z taco $ % % Copyright 2008-2009 Taco Hoekwater. % @@ -89,13 +89,13 @@ undergoes any modifications, so that it will be clear which version of @^extensions to \MP@> @^system dependencies@> -@d default_banner "This is MetaPost, Version 1.207" /* printed when \MP\ starts */ +@d default_banner "This is MetaPost, Version 1.208" /* printed when \MP\ starts */ @d true 1 @d false 0 @(mpmp.h@>= -#define metapost_version "1.207" -#define metapost_magic (('M'*256) + 'P')*65536 + 1207 +#define metapost_version "1.208" +#define metapost_magic (('M'*256) + 'P')*65536 + 1208 #define metapost_old_magic (('M'*256) + 'P')*65536 + 1080 @ The external library header for \MP\ is |mplib.h|. It contains a @@ -16498,7 +16498,11 @@ if (mp->job_name != NULL) { char *s = mp->job_name+strlen(mp->job_name); while (s>mp->job_name) { if (*s == '.') { - *s = '\0'; + if(strcasecmp(s, ".mp") == 0 || strcasecmp(s, ".mem") == 0 || + strcasecmp(s, ".mf") == 0) { + *s = '\0'; + break; + } } s--; } |