diff options
Diffstat (limited to 'tex/context/base/type-ini.lua')
-rw-r--r-- | tex/context/base/type-ini.lua | 17 |
1 files changed, 7 insertions, 10 deletions
diff --git a/tex/context/base/type-ini.lua b/tex/context/base/type-ini.lua index 758fb5683..4ce953168 100644 --- a/tex/context/base/type-ini.lua +++ b/tex/context/base/type-ini.lua @@ -8,8 +8,6 @@ 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") @@ -17,14 +15,13 @@ 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.loadfoundtypescriptfile(foundname) + context.startreadingfile() + context.pushendofline() + context.unprotect() + context.input(foundname) + context.protect() + context.popendofline() + context.stopreadingfile() end local name_one, name_two |