diff options
author | Hans Hagen <pragma@wxs.nl> | 2023-03-10 12:42:42 +0100 |
---|---|---|
committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2023-03-10 12:42:42 +0100 |
commit | 250c5684b9ee44ac972db51f87289ef935182c53 (patch) | |
tree | 4d2001bfc9e9575367c9f23c7d182b8c31d83d77 /tex/context/base/mkxl/mlib-fio.lmt | |
parent | c677baac37632308600b5108b586f80246056c74 (diff) | |
download | context-250c5684b9ee44ac972db51f87289ef935182c53.tar.gz |
2023-03-10 12:17:00
Diffstat (limited to 'tex/context/base/mkxl/mlib-fio.lmt')
-rw-r--r-- | tex/context/base/mkxl/mlib-fio.lmt | 17 |
1 files changed, 13 insertions, 4 deletions
diff --git a/tex/context/base/mkxl/mlib-fio.lmt b/tex/context/base/mkxl/mlib-fio.lmt index 07c9275be..57984839f 100644 --- a/tex/context/base/mkxl/mlib-fio.lmt +++ b/tex/context/base/mkxl/mlib-fio.lmt @@ -69,15 +69,24 @@ local splitlines = string.splitlines local suffixlist = { "mpxl", "mpiv", "mp" } -- no "mf" +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", +} + local function findmpfile(name,ftype) + local usedname = remapped[name] or name local validtyp = validftype(ftype) - -- local fullname = findfile(name,validtyp) - local fullname = findtexfile(name,validtyp) + local fullname = findtexfile(usedname,validtyp) if fullname and fullname ~= "" then return fullname - elseif suffix(name) == "" then + elseif suffix(usedname) == "" then for i=1,#suffixlist do - fullname = findfile(addsuffix(name,suffixlist[i]),validtyp) + fullname = findfile(addsuffix(usedname,suffixlist[i]),validtyp) if fullname and fullname ~= "" then return fullname end |