From 49ed6facc71c3db519d5baa3723090e086d832aa Mon Sep 17 00:00:00 2001 From: Philipp Gesang Date: Thu, 30 May 2013 02:04:58 +0200 Subject: copy old filenames table if now new fonts were found --- luaotfload-database.lua | 2 ++ 1 file changed, 2 insertions(+) (limited to 'luaotfload-database.lua') 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: -- cgit v1.2.3