diff options
author | Philipp Gesang <phg42.2a@gmail.com> | 2013-11-05 20:21:44 +0100 |
---|---|---|
committer | Philipp Gesang <phg42.2a@gmail.com> | 2013-11-05 20:21:44 +0100 |
commit | c05e323e497d7d8e3befb371d6b78e1f91be83d9 (patch) | |
tree | e0d0d9164b316137594d6f42bd04c986e3090ea9 /luaotfload.dtx | |
parent | a59332596c26d57b84a609749f7b677683bde029 (diff) | |
download | luaotfload-c05e323e497d7d8e3befb371d6b78e1f91be83d9.tar.gz |
[main] add setting for db stripping to luaotfload.lua
Diffstat (limited to 'luaotfload.dtx')
-rw-r--r-- | luaotfload.dtx | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/luaotfload.dtx b/luaotfload.dtx index e19cdc3..5d80318 100644 --- a/luaotfload.dtx +++ b/luaotfload.dtx @@ -1550,6 +1550,9 @@ 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" +if not config.luaotfload.strip then + config.luaotfload.strip = true +end luaotfload.module = { name = "luaotfload", |