diff options
| author | Hans Hagen <pragma@wxs.nl> | 2020-11-07 19:01:53 +0100 |
|---|---|---|
| committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2020-11-07 19:01:53 +0100 |
| commit | 52b5a886e13712946a039ffcd059190f49193539 (patch) | |
| tree | 765d8f940057a2187538d7055edddfd39462f962 /tex/generic | |
| parent | b9bbb6e068a26d84a2ad31b5f32c289fe03e4f5c (diff) | |
| download | context-52b5a886e13712946a039ffcd059190f49193539.tar.gz | |
2020-11-07 18:47:00
Diffstat (limited to 'tex/generic')
| -rw-r--r-- | tex/generic/context/luatex/luatex-fonts-merged.lua | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tex/generic/context/luatex/luatex-fonts-merged.lua b/tex/generic/context/luatex/luatex-fonts-merged.lua index 1928dc8de..368ce6215 100644 --- a/tex/generic/context/luatex/luatex-fonts-merged.lua +++ b/tex/generic/context/luatex/luatex-fonts-merged.lua @@ -1,6 +1,6 @@ -- merged file : c:/data/develop/context/sources/luatex-fonts-merged.lua -- parent file : c:/data/develop/context/sources/luatex-fonts.lua --- merge date : 2020-11-07 12:43 +-- merge date : 2020-11-07 18:44 do -- begin closure to overcome local limits and interference @@ -36026,7 +36026,7 @@ if not modules then modules={} end modules ['font-shp']={ } local tonumber,next=tonumber,next local concat=table.concat -local formatters=string.formatters +local formatters,lower=string.formatters,string.lower local otf=fonts.handlers.otf local afm=fonts.handlers.afm local pfb=fonts.handlers.pfb @@ -36219,7 +36219,7 @@ end local function loadstreams(cache,filename,sub,instance) local base=file.basename(filename) local name=file.removesuffix(base) - local kind=file.suffix(filename) + local kind=lower(file.suffix(filename)) local attr=lfs.attributes(filename) local size=attr and attr.size or 0 local time=attr and attr.modification or 0 |