diff options
-rwxr-xr-x | Master/texmf/scripts/texlive/texdoc.tlu | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/Master/texmf/scripts/texlive/texdoc.tlu b/Master/texmf/scripts/texlive/texdoc.tlu index c13cc940d61..9be5d3de0d1 100755 --- a/Master/texmf/scripts/texlive/texdoc.tlu +++ b/Master/texmf/scripts/texlive/texdoc.tlu @@ -262,10 +262,9 @@ function set_config_element (key, value, file, line) end config[key] = values elseif string.find (key, '_switch$') then - local val = string.lower(value) - if val == 'true' then + if value == 'true' then config[key] = true - elseif val == 'false' then + elseif value == 'false' then config[key] = false else io.write ('texdoc warning: illegal value '..value..' for ' |