diff options
| author | Philipp Gesang <phg42.2a@gmail.com> | 2013-08-01 13:30:07 +0200 |
|---|---|---|
| committer | Philipp Gesang <phg42.2a@gmail.com> | 2013-08-01 13:30:07 +0200 |
| commit | 9865446898d33c24c2ca13a3fe4558f11d937d01 (patch) | |
| tree | 75b20d8b080beec24e74dffb812f37eeeeda6986 | |
| parent | 6b230e2f951822095d9ea5b9fc12c4307b8581ea (diff) | |
| download | luaotfload-9865446898d33c24c2ca13a3fe4558f11d937d01.tar.gz | |
[db] treat .pfa like .pfb
| -rw-r--r-- | luaotfload-database.lua | 3 | ||||
| -rw-r--r-- | luaotfload.dtx | 2 |
2 files changed, 3 insertions, 2 deletions
diff --git a/luaotfload-database.lua b/luaotfload-database.lua index cfcd27c..584e9ad 100644 --- a/luaotfload-database.lua +++ b/luaotfload-database.lua @@ -1278,6 +1278,7 @@ local loaders = { return false end, pfb = t1_fullinfo, + pfa = t1_fullinfo, } --- we return true if the fond is new or re-indexed @@ -1550,7 +1551,7 @@ do set_font_filter = function (formats) - if not formats and type (formats) == "string" then + if not formats or type (formats) ~= "string" then return end diff --git a/luaotfload.dtx b/luaotfload.dtx index f23be81..4802844 100644 --- a/luaotfload.dtx +++ b/luaotfload.dtx @@ -1545,7 +1545,7 @@ config.luaotfload.prioritize = config.luaotfload.prioritize or "sys" config.luaotfload.names_dir = config.luaotfload.names_dir or "names" config.luaotfload.cache_dir = config.luaotfload.cache_dir or "fonts" config.luaotfload.index_file = config.luaotfload.index_file or "luaotfload-names.lua" -config.luaotfload.include_t1 = config.luaotfload.include_t1 or false +config.luaotfload.formats = config.luaotfload.formats or "otf,ttf,ttc,dfont" luaotfload.module = { name = "luaotfload", |