diff options
| -rw-r--r-- | luaotfload-diagnostics.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/luaotfload-diagnostics.lua b/luaotfload-diagnostics.lua index 97390ce..68ed18c 100644 --- a/luaotfload-diagnostics.lua +++ b/luaotfload-diagnostics.lua @@ -243,7 +243,7 @@ local path = names.path local desired_permissions = { { "d", {"r","w"}, function () return caches.getwritablepath () end }, { "d", {"r","w"}, path.globals.prefix }, - { "f", {"r","w"}, path.index.lua }, + { "f", {"r","w"}, path.index.lua .. ".gz" }, { "f", {"r","w"}, path.index.luc }, { "f", {"r","w"}, path.lookups.lua }, { "f", {"r","w"}, path.lookups.luc }, |