diff options
author | Philipp Gesang <phg42.2a@gmail.com> | 2013-07-31 21:50:07 +0200 |
---|---|---|
committer | Philipp Gesang <phg42.2a@gmail.com> | 2013-07-31 21:50:07 +0200 |
commit | f84c7341ed8f83c0624be6be2ea796d4bbb97ae9 (patch) | |
tree | d6dc7feb28af7e3027ae5263a8a538ff5a62a2df /luaotfload-tool.lua | |
parent | e2ca2159f6952db10ad35dc961e0fa51832033bc (diff) | |
download | luaotfload-f84c7341ed8f83c0624be6be2ea796d4bbb97ae9.tar.gz |
[db] make pfb scanning optional
Diffstat (limited to 'luaotfload-tool.lua')
-rwxr-xr-x | luaotfload-tool.lua | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/luaotfload-tool.lua b/luaotfload-tool.lua index 3846700..1e88d4f 100755 --- a/luaotfload-tool.lua +++ b/luaotfload-tool.lua @@ -108,6 +108,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.include_t1 = config.luaotfload.include_t1 == true do -- we don’t have file.basename and the likes yet, so inline parser ftw local slash = P"/" @@ -1025,8 +1026,9 @@ local process_cmdline = function ( ) -- unit -> jobspec ["prefer-texmf"] = "p", quiet = "q", ["show-blacklist"] = "b", + type1 = 0, update = "u", - verbose = 1 , + verbose = 1, version = "V", warnings = "w", } @@ -1108,6 +1110,8 @@ local process_cmdline = function ( ) -- unit -> jobspec elseif v == "diagnose" then action_pending["diagnose"] = true result.asked_diagnostics = optarg[n] + elseif v == "type1" then + config.luaotfload.include_t1 = true end end |