diff options
| author | Taco Hoekwater <taco@elvenkind.com> | 2010-05-27 11:46:36 +0000 |
|---|---|---|
| committer | Taco Hoekwater <taco@elvenkind.com> | 2010-05-27 11:46:36 +0000 |
| commit | a6f1eef11c43b5621d3a6b5001f9888491ad210e (patch) | |
| tree | 677d1a0b519985a07b4260e7bdf647130480c0a6 /Master/texmf-dist/tex/context | |
| parent | c4335da95075e0c78ec68e37452ec4412fcf80fd (diff) | |
'hot' fix for font files with uppercase extensions
git-svn-id: svn://tug.org/texlive/trunk@18527 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/tex/context')
| -rw-r--r-- | Master/texmf-dist/tex/context/base/font-ini.lua | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Master/texmf-dist/tex/context/base/font-ini.lua b/Master/texmf-dist/tex/context/base/font-ini.lua index e4514978175..a8a311e1875 100644 --- a/Master/texmf-dist/tex/context/base/font-ini.lua +++ b/Master/texmf-dist/tex/context/base/font-ini.lua @@ -84,12 +84,12 @@ end fonts.formats = { } function fonts.fontformat(filename,default) - local extname = file.extname(filename) + local extname = string.lower(file.extname(filename)) local format = fonts.formats[extname] if format then return format else - logs.report("fonts define","unable to detemine font format for '%s'",filename) + logs.report("fonts define","unable to determine font format for '%s'",filename) return default end end |