diff options
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 |