diff options
-rw-r--r-- | Build/source/texk/xdvipdfmx/ChangeLog.TL | 3 | ||||
-rw-r--r-- | Build/source/texk/xdvipdfmx/src/dvipdfmx.c | 14 |
2 files changed, 12 insertions, 5 deletions
diff --git a/Build/source/texk/xdvipdfmx/ChangeLog.TL b/Build/source/texk/xdvipdfmx/ChangeLog.TL index 04da7f7baee..d0805970de3 100644 --- a/Build/source/texk/xdvipdfmx/ChangeLog.TL +++ b/Build/source/texk/xdvipdfmx/ChangeLog.TL @@ -3,8 +3,9 @@ ChangeLog.TL: TeX Live (TL) changes for xdvipdfmx 2012-08-21 Akira Kakuto <kakuto@fuk.kindai.ac.jp> - * tt_post.c (read_v2_post_names): support large truetype fonts + * src/tt_post.c (read_v2_post_names): support large truetype fonts which are strictly speaking out of spec, idx > 32767. + * src/dvipdfmx.c: support monocase filesystem. 2012-08-21 keiichirou shikano <k16.shikano@gmail.com> diff --git a/Build/source/texk/xdvipdfmx/src/dvipdfmx.c b/Build/source/texk/xdvipdfmx/src/dvipdfmx.c index 51ead079990..5bb53f80b73 100644 --- a/Build/source/texk/xdvipdfmx/src/dvipdfmx.c +++ b/Build/source/texk/xdvipdfmx/src/dvipdfmx.c @@ -109,6 +109,12 @@ char *dvi_filename = NULL, *pdf_filename = NULL; static void read_config_file (const char *config); +#ifdef WIN32 +#define STRN_CMP strncasecmp +#else +#define STRN_CMP strncmp +#endif + static void set_default_pdf_filename(void) { @@ -117,16 +123,16 @@ set_default_pdf_filename(void) dvi_base = xbasename(dvi_filename); if (mp_mode && strlen(dvi_base) > 4 && - !strncmp(".mps", dvi_base + strlen(dvi_base) - 4, 4)) { + !STRN_CMP(".mps", dvi_base + strlen(dvi_base) - 4, 4)) { pdf_filename = NEW(strlen(dvi_base)+1, char); strncpy(pdf_filename, dvi_base, strlen(dvi_base) - 4); pdf_filename[strlen(dvi_base)-4] = '\0'; } else if (strlen(dvi_base) > 4 && #ifdef XETEX - (!strncmp(".dvi", dvi_base+strlen(dvi_base)-4, 4) || - !strncmp(".xdv", dvi_base+strlen(dvi_base)-4, 4))) { + (!STRN_CMP(".dvi", dvi_base+strlen(dvi_base)-4, 4) || + !STRN_CMP(".xdv", dvi_base+strlen(dvi_base)-4, 4))) { #else - !strncmp(".dvi", dvi_base+strlen(dvi_base)-4, 4)) { + !STRN_CMP(".dvi", dvi_base+strlen(dvi_base)-4, 4)) { #endif pdf_filename = NEW(strlen(dvi_base)+1, char); strncpy(pdf_filename, dvi_base, strlen(dvi_base)-4); |