diff options
author | Karl Berry <karl@freefriends.org> | 2007-02-06 00:37:38 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2007-02-06 00:37:38 +0000 |
commit | 7747c8986e2f03a455d55ed3342849a604fc9f30 (patch) | |
tree | 7c77bcb4fc80cf32ec756d472257127abb5ea827 /Master/common.sh | |
parent | 5937c21277f2cf44ecf7acbc803829b28e8d43ba (diff) |
(menu_schemes): do not run cls, then the
collections list is wiped out immediately. Jjgod
Jiang, 5 Feb 2007 13:34:13.
git-svn-id: svn://tug.org/texlive/trunk@3935 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/common.sh')
-rwxr-xr-x | Master/common.sh | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Master/common.sh b/Master/common.sh index 817eaa41dee..4fc542672d3 100755 --- a/Master/common.sh +++ b/Master/common.sh @@ -608,11 +608,10 @@ menu_this_platform() } -# This run for scheme selection <S>. +# This runs for scheme selection <S>. menu_schemes() { while true; do - cls for i in $all_schemes do eval key=\"\$schemes_${i}_ident\" |