diff options
Diffstat (limited to 'Master/texmf-dist/scripts/texdoc/config.tlu')
-rw-r--r-- | Master/texmf-dist/scripts/texdoc/config.tlu | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/texmf-dist/scripts/texdoc/config.tlu b/Master/texmf-dist/scripts/texdoc/config.tlu index 0c3640c71c1..ed35d0efd76 100644 --- a/Master/texmf-dist/scripts/texdoc/config.tlu +++ b/Master/texmf-dist/scripts/texdoc/config.tlu @@ -500,7 +500,7 @@ function setup_config_and_alias(arg) real_set_config('interact_switch', false) end -- debug implies verbose - if table.maxn(config.debug_list) > 0 then + if #config.debug_list > 0 then real_set_config('verbosity_level', tonumber(C.max_verbosity)) end -- we were waiting for config.debug_list to be known to do this |