diff options
author | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | 2008-07-31 12:28:28 +0000 |
---|---|---|
committer | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | 2008-07-31 12:28:28 +0000 |
commit | cfc694861f793e32261fe8b1f6125b6740604ae0 (patch) | |
tree | c6f93668053fc93107c9981154796d53b8790036 /Master/texmf/scripts | |
parent | b87bc965e33cf83181ec0b0822ab43413b5b715d (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/texmf/scripts')
-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 ' |