diff options
| author | Philipp Gesang <phg42.2a@gmail.com> | 2013-07-02 12:42:10 +0200 |
|---|---|---|
| committer | Philipp Gesang <phg42.2a@gmail.com> | 2013-07-02 12:42:10 +0200 |
| commit | 71eb6250e1971b7ead98f6d91a7d325597730ebe (patch) | |
| tree | 65ff68b3aa289350864387565803231fb5d93896 /luaotfload-merged.lua | |
| parent | 62493d4c3d4d3089f7a2ff30d811e8f035d98b8a (diff) | |
| download | luaotfload-71eb6250e1971b7ead98f6d91a7d325597730ebe.tar.gz | |
treat psname matches as second-tier (fixes cambria)
Diffstat (limited to 'luaotfload-merged.lua')
| -rw-r--r-- | luaotfload-merged.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/luaotfload-merged.lua b/luaotfload-merged.lua index 81e3fec..9d708bf 100644 --- a/luaotfload-merged.lua +++ b/luaotfload-merged.lua @@ -3143,7 +3143,7 @@ function caches.savedata(path,name,data) local luaname,lucname=makefullname(path,name) if luaname then texio.write(string.format("(save: %s)",luaname)) - table.tofile(luaname,data,true,{ reduce=true }) + table.tofile(luaname,data,true,{ reduce=false }) if lucname and type(caches.compile)=="function" then os.remove(lucname) texio.write(string.format("(save: %s)",lucname)) |