diff options
Diffstat (limited to 'Build/source/texk/ttfdump/src/ttfdump.c')
| -rw-r--r-- | Build/source/texk/ttfdump/src/ttfdump.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Build/source/texk/ttfdump/src/ttfdump.c b/Build/source/texk/ttfdump/src/ttfdump.c index e0d71efebad..50315f12ee9 100644 --- a/Build/source/texk/ttfdump/src/ttfdump.c +++ b/Build/source/texk/ttfdump/src/ttfdump.c @@ -160,7 +160,7 @@ main(int argc, char *argv[]) exit(EXIT_FAILURE); } - if (strstr (ttfname, "ttc") != NULL) + if (strstr (ttfname, "ttc") != NULL || strstr (ttfname, "TTC") != NULL) { ttc = ttfLoadTTCHeader(ttfname); @@ -180,7 +180,7 @@ main(int argc, char *argv[]) exit(EXIT_FAILURE); print_prologue(dp_file); - if (strstr(ttfname, "ttc") != NULL) + if (strstr(ttfname, "ttc") != NULL || strstr(ttfname, "TTC") != NULL) { print_ttc(ttc, dp_file); } @@ -216,7 +216,7 @@ main(int argc, char *argv[]) } } - if (strstr(ttfname, "ttc") != NULL) + if (strstr(ttfname, "ttc") != NULL || strstr(ttfname, "TTC") != NULL) { ttfFreeTTCFont(ttc); } |