diff options
Diffstat (limited to 'Master/texmf/scripts/texdoc/functions.tlu')
| -rw-r--r-- | Master/texmf/scripts/texdoc/functions.tlu | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Master/texmf/scripts/texdoc/functions.tlu b/Master/texmf/scripts/texdoc/functions.tlu index cff6e2aaeec..e93debafffc 100644 --- a/Master/texmf/scripts/texdoc/functions.tlu +++ b/Master/texmf/scripts/texdoc/functions.tlu @@ -9,7 +9,7 @@ local L = {} load_env(L, { 'export_symbols', 'string', 'io', 'os', - 'pairs', 'ipairs', + 'pairs', 'ipairs', 'tonumber', 'C', 'config', }) @@ -29,7 +29,7 @@ end -- generic error display function (see the error_priority constant) function err_print (lvl, msg) -- be careful: maybe config.verbosity_level is not set yet - local verbosity_level = config.verbosity_level or 2 + local verbosity_level = config.verbosity_level or tonumber(C.def_verbosity) if C.err_priority[lvl] <= verbosity_level then io.stderr:write ("texdoc "..lvl..": "..msg.."\n") end |