diff options
-rw-r--r-- | luaotfload-database.lua | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/luaotfload-database.lua b/luaotfload-database.lua index d670322..4e7d5fb 100644 --- a/luaotfload-database.lua +++ b/luaotfload-database.lua @@ -1573,6 +1573,8 @@ update_names = function (fontnames, force, dry_run) if force or n_new > 0 then newfontnames = gen_fast_lookups(newfontnames) + else + newfontnames.filenames = fontnames.filenames end --- stats: |