diff options
Diffstat (limited to 'tex/context/base/type-ini.lua')
| -rw-r--r-- | tex/context/base/type-ini.lua | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tex/context/base/type-ini.lua b/tex/context/base/type-ini.lua index 9ee97acae..4f53fbf40 100644 --- a/tex/context/base/type-ini.lua +++ b/tex/context/base/type-ini.lua @@ -35,7 +35,9 @@ end local function failure_one(name) name_two = gsub(name,"%-.*$","") - if name_two == name then + if name == "loc" then + -- ignore + elseif name_two == name then report_typescripts("unknown library %a",name_one) else commands.uselibrary { |