diff options
| author | Karl Berry <karl@freefriends.org> | 2008-05-20 23:54:16 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2008-05-20 23:54:16 +0000 |
| commit | 8090b266658a26f37cec4df6cab4cc590b68081e (patch) | |
| tree | 3484ad8acc674eda64972cf98694647f2f7037c4 | |
| parent | 13c57e19b4882d81abf1971d2571cadc1960071a (diff) | |
(%command): platform_menu is not defined, so don't
call it.
git-svn-id: svn://tug.org/texlive/trunk@8261 c570f23f-e606-0410-a88d-b1316a301751
| -rwxr-xr-x | Master/tlpkg/installer/install-menu-text.pl | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Master/tlpkg/installer/install-menu-text.pl b/Master/tlpkg/installer/install-menu-text.pl index 47964a37b4c..ceac0a7dbbb 100755 --- a/Master/tlpkg/installer/install-menu-text.pl +++ b/Master/tlpkg/installer/install-menu-text.pl @@ -742,7 +742,6 @@ sub main_menu { my %command=( 'self' => \&main_menu, - 'P' => \&platform_menu, 'O' => \&options_menu, 'I' => \&do_install, 'C' => \&collection_menu, |