diff options
| author | Philipp Gesang <phg42.2a@gmail.com> | 2013-05-28 22:26:14 +0200 |
|---|---|---|
| committer | Philipp Gesang <phg42.2a@gmail.com> | 2013-05-28 22:26:14 +0200 |
| commit | acb76cca1c0bdedc811d7eeed1b2392b692cdf50 (patch) | |
| tree | 249dc6ee764d0acfc56f876ed00a18fea4605363 /luaotfload-database.lua | |
| parent | e263928dfb028952384103d1edc98cea467d4555 (diff) | |
| download | luaotfload-acb76cca1c0bdedc811d7eeed1b2392b692cdf50.tar.gz | |
have file locator return the filename when known fonts are specified without extension
Diffstat (limited to 'luaotfload-database.lua')
| -rw-r--r-- | luaotfload-database.lua | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/luaotfload-database.lua b/luaotfload-database.lua index 65f2bf7..aba1921 100644 --- a/luaotfload-database.lua +++ b/luaotfload-database.lua @@ -399,10 +399,9 @@ crude_file_lookup = function (filename) if found then found = filenames.full[found] if found == nil then - return dummy_findfile(filename) - else - return found + found = dummy_findfile(filename) end + return found or filename end for i=1, #type1_formats do local format = type1_formats[i] |