diff options
Diffstat (limited to 'tex/context/base/type-ini.lua')
| -rw-r--r-- | tex/context/base/type-ini.lua | 17 |
1 files changed, 10 insertions, 7 deletions
diff --git a/tex/context/base/type-ini.lua b/tex/context/base/type-ini.lua index 4ce953168..758fb5683 100644 --- a/tex/context/base/type-ini.lua +++ b/tex/context/base/type-ini.lua @@ -8,6 +8,8 @@ if not modules then modules = { } end modules ['type-ini'] = { -- more code will move here +local commands, context = commands, context + local gsub = string.gsub local report_typescripts = logs.reporter("fonts","typescripts") @@ -15,13 +17,14 @@ local report_typescripts = logs.reporter("fonts","typescripts") local patterns = { "type-imp-%s.mkiv", "type-imp-%s.tex", "type-%s.mkiv", "type-%s.tex" } -- this will be imp only local function action(name,foundname) - context.startreadingfile() - context.pushendofline() - context.unprotect() - context.input(foundname) - context.protect() - context.popendofline() - context.stopreadingfile() + -- context.startreadingfile() + -- context.pushendofline() + -- context.unprotect() + -- context.input(foundname) + -- context.protect() + -- context.popendofline() + -- context.stopreadingfile() + context.loadfoundtypescriptfile(foundname) end local name_one, name_two |