summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xMaster/texmf/scripts/texlive/texdoc.tlu5
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 '