diff options
| author | Philipp Gesang <phg42.2a@gmail.com> | 2013-05-30 02:04:58 +0200 |
|---|---|---|
| committer | Philipp Gesang <phg42.2a@gmail.com> | 2013-05-30 02:04:58 +0200 |
| commit | 49ed6facc71c3db519d5baa3723090e086d832aa (patch) | |
| tree | d9ff54c2ce0b29c7f16a0b8ae4a9e7aa8e6bd066 | |
| parent | dd88b90a7582a94f89db8c5f8a29178305497c0a (diff) | |
| download | luaotfload-49ed6facc71c3db519d5baa3723090e086d832aa.tar.gz | |
copy old filenames table if now new fonts were found
| -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: |