diff options
author | Karl Berry <karl@freefriends.org> | 2008-07-06 17:14:22 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2008-07-06 17:14:22 +0000 |
commit | 3e696b8bf8ba374e56f3e9faf752a7e0c62ed48a (patch) | |
tree | bb0b93ca5cf71a55615fd0506e59cec135b63486 /Master/tlpkg/installer | |
parent | 262a67b785582d2973606ee7b7e1b60a54a15776 (diff) |
tweak intro text, do not report url unless we are using it
git-svn-id: svn://tug.org/texlive/trunk@9298 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/installer')
-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 9df0c5c4b96..bd3d855a0a2 100755 --- a/Master/tlpkg/installer/install-menu-text.pl +++ b/Master/tlpkg/installer/install-menu-text.pl @@ -821,7 +821,6 @@ EOF if (!$vars{'from_dvd'}) { print <<"EOF"; - Detected platform: $this_platform $warn_nobin <B> binary systems: $vars{'n_systems_selected'} out of $vars{'n_systems_available'} |