diff options
| author | Karl Berry <karl@freefriends.org> | 2019-10-19 16:04:06 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2019-10-19 16:04:06 +0000 |
| commit | 4445ccd132b60e690b2efa2eee231b5c02dae9b4 (patch) | |
| tree | 728852922b9aa5c3f0426100332ec57fa173ed4d /Build/source | |
| parent | b3b99d42907955ecc722513582e96f370d943bac (diff) | |
doc,sync
git-svn-id: svn://tug.org/texlive/trunk@52440 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source')
| -rwxr-xr-x | Build/source/texk/texlive/linked_scripts/tlshell/tlshell.tcl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Build/source/texk/texlive/linked_scripts/tlshell/tlshell.tcl b/Build/source/texk/texlive/linked_scripts/tlshell/tlshell.tcl index c34147b4d8e..66752b67cd9 100755 --- a/Build/source/texk/texlive/linked_scripts/tlshell/tlshell.tcl +++ b/Build/source/texk/texlive/linked_scripts/tlshell/tlshell.tcl @@ -2105,7 +2105,8 @@ proc populate_main {} { incr inx menu .mn.opt.paper foreach p [list A4 letter] { - .mn.opt.paper add command -label $p -command "set_paper $p" + .mn.opt.paper add command -label $p -command \ + "set_paper [string tolower $p]" } if {[llength $::langs] > 1} { |