diff options
| -rwxr-xr-x | luaotfload-tool.lua | 2 | 
1 files changed, 1 insertions, 1 deletions
| diff --git a/luaotfload-tool.lua b/luaotfload-tool.lua index a945ee2..ec6ee57 100755 --- a/luaotfload-tool.lua +++ b/luaotfload-tool.lua @@ -685,7 +685,7 @@ The font info knows two levels of detail:  --doc]]--  local show_font_info = function (basename, askedname, detail, warnings) -    local filenames = names.data().filenames +    local filenames = names.data().files      local index     = filenames.base[basename]      local fullname  = filenames.full[index]      askedname = sanitize_fontname (askedname) | 
