diff options
| author | Philipp Gesang <phg42.2a@gmail.com> | 2013-08-08 08:36:48 +0200 | 
|---|---|---|
| committer | Philipp Gesang <phg42.2a@gmail.com> | 2013-08-08 08:37:40 +0200 | 
| commit | fa1ab32edd6c4ef7f7fe60cb6752b5cc9908b6a5 (patch) | |
| tree | 2694f1334b4dab9f7339af7034362f9ff00a7f30 | |
| parent | 749917ae9796808d937c38375ebdb3fbfb0fcc1c (diff) | |
| download | luaotfload-fa1ab32edd6c4ef7f7fe60cb6752b5cc9908b6a5.tar.gz | |
[db] include DFONT fonts in database (thanks, Kim!)
| -rw-r--r-- | luaotfload-database.lua | 7 | 
1 files changed, 4 insertions, 3 deletions
diff --git a/luaotfload-database.lua b/luaotfload-database.lua index 11cc97d..49e9bcb 100644 --- a/luaotfload-database.lua +++ b/luaotfload-database.lua @@ -1315,9 +1315,10 @@ t1_fullinfo = function (filename, _subfont, texmf, basename)  end  local loaders = { -    otf = ot_fullinfo, -    ttc = ot_fullinfo, -    ttf = ot_fullinfo, +    dfont   = ot_fullinfo, +    otf     = ot_fullinfo, +    ttc     = ot_fullinfo, +    ttf     = ot_fullinfo,      afm = function (filename, _, texmf, basename)          --- TODO  | 
