diff options
-rwxr-xr-x | Master/tlpkg/installer/install-menu-text.pl | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/Master/tlpkg/installer/install-menu-text.pl b/Master/tlpkg/installer/install-menu-text.pl index 563eeed6f06..e228c0d7043 100755 --- a/Master/tlpkg/installer/install-menu-text.pl +++ b/Master/tlpkg/installer/install-menu-text.pl @@ -871,7 +871,6 @@ print <<"EOF"; $b_letter use letter size instead of A4 by default $b_fmt create all format files EOF -; if (!$vars{'from_dvd'}) { if ($vars{'doc_splitting_supported'}) { @@ -880,11 +879,10 @@ EOF if ($vars{'src_splitting_supported'}) { print " $b_src install macro/font source tree\n"; } + if (unix) { + print " $b_symlinks create symlinks in standard directories\n"; + } } - print <<"EOF" if (unix and !$vars{'from_dvd'}); - $b_symlinks create symlinks in standard directories -EOF -; other_options qw (I H Q); my $answer=prompt 'Enter command'; |