diff options
| author | Hans Hagen <pragma@wxs.nl> | 2023-04-01 10:50:35 +0200 | 
|---|---|---|
| committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2023-04-01 10:50:35 +0200 | 
| commit | 059fc69b2c7853b937ddb4cfc9d36304dee07893 (patch) | |
| tree | a58b878377348a05b55bf9b2c6ee44dcd8508c2c /tex/context/base/mkiv/mlib-fio.lua | |
| parent | 97f560d2993c367fb84ef62eefbe90ca03c19ebc (diff) | |
| download | context-059fc69b2c7853b937ddb4cfc9d36304dee07893.tar.gz | |
2023-04-01 09:31:00
Diffstat (limited to 'tex/context/base/mkiv/mlib-fio.lua')
| -rw-r--r-- | tex/context/base/mkiv/mlib-fio.lua | 12 | 
1 files changed, 11 insertions, 1 deletions
| diff --git a/tex/context/base/mkiv/mlib-fio.lua b/tex/context/base/mkiv/mlib-fio.lua index 51c88eb22..39a709505 100644 --- a/tex/context/base/mkiv/mlib-fio.lua +++ b/tex/context/base/mkiv/mlib-fio.lua @@ -54,8 +54,18 @@ local function validftype(ftype)      end  end +local remapped = { +    -- We don't yet have an interface for adding more here but when needed +    -- there will be one. +    ["hatching.mp"] = "mp-remapped-hatching.mp", +    ["boxes.mp"]    = "mp-remapped-boxes.mp", +    ["hatching"]    = "mp-remapped-hatching.mp", +    ["boxes"]       = "mp-remapped-boxes.mp", +} +  finders.file = function(specification,name,mode,ftype) -    return resolvers.findfile(name,validftype(ftype)) +    local usedname = remapped[name] or name +    return resolvers.findfile(usedname,validftype(ftype))  end  local function i_finder(name,mode,ftype) -- fake message for mpost.map and metafun.mpvi | 
