diff options
| author | Philipp Gesang <phg42.2a@gmail.com> | 2014-02-14 23:15:37 +0100 |
|---|---|---|
| committer | Philipp Gesang <phg42.2a@gmail.com> | 2014-02-14 23:15:37 +0100 |
| commit | 93d0150fdba1a1e212aafeb4e16faef1cba82d60 (patch) | |
| tree | 56aef6689729c3d570ad5d6921d91aa32e6dcd54 /src/luaotfload-main.lua | |
| parent | fa25005e7ad5ffc537b5aaf39d1b3562daf8f5eb (diff) | |
| download | luaotfload-93d0150fdba1a1e212aafeb4e16faef1cba82d60.tar.gz | |
[db,main,tool] scan local fonts upon failed lookup during a TeX run (requires the config flag “scan_local”)
Diffstat (limited to 'src/luaotfload-main.lua')
| -rw-r--r-- | src/luaotfload-main.lua | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/luaotfload-main.lua b/src/luaotfload-main.lua index f5f012d..ed7fdd3 100644 --- a/src/luaotfload-main.lua +++ b/src/luaotfload-main.lua @@ -1,10 +1,10 @@ ----------------------------------------------------------------------- -- FILE: luaotfload-main.lua -- DESCRIPTION: Luatex fontloader initialization --- REQUIREMENTS: luatex v.0.78 or later, the lualibs package +-- REQUIREMENTS: luatex v.0.78 or later; the lualibs package -- AUTHOR: Élie Roux, Khaled Hosny, Philipp Gesang -- VERSION: same as Luaotfload --- MODIFIED: 2014-02-09 14:42:22+0100 +-- MODIFIED: 2014-02-14 22:51:09+0100 ----------------------------------------------------------------------- -- --- Note: @@ -59,6 +59,7 @@ 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.formats = config.luaotfload.formats or "otf,ttf,ttc,dfont" +config.luaotfload.scan_local = config.luaotfload.scan_local == true if not config.luaotfload.strip then config.luaotfload.strip = true |