diff options
| author | Philipp Gesang <phg42.2a@gmail.com> | 2013-12-08 15:12:09 +0100 |
|---|---|---|
| committer | Philipp Gesang <phg42.2a@gmail.com> | 2013-12-08 15:12:09 +0100 |
| commit | 4a780f891cd39b7c450bbe53f89e57c0b3dc2884 (patch) | |
| tree | 92be06529ef803025fd96870c16d29047ed55298 | |
| parent | 4f0b302847fc0176f37b96f45caff9c60f7e02ff (diff) | |
| download | luaotfload-4a780f891cd39b7c450bbe53f89e57c0b3dc2884.tar.gz | |
[tool] adapt --inspect option
| -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) |