summaryrefslogtreecommitdiff
path: root/Master
diff options
context:
space:
mode:
authorManuel Pégourié-Gonnard <mpg@elzevir.fr>2008-07-31 12:28:28 +0000
committerManuel Pégourié-Gonnard <mpg@elzevir.fr>2008-07-31 12:28:28 +0000
commitcfc694861f793e32261fe8b1f6125b6740604ae0 (patch)
treec6f93668053fc93107c9981154796d53b8790036 /Master
parentb87bc965e33cf83181ec0b0822ab43413b5b715d (diff)
finally true and false are case-sensitive
git-svn-id: svn://tug.org/texlive/trunk@9933 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master')
-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 '