diff options
| author | Karl Berry <karl@freefriends.org> | 2010-07-19 22:16:29 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2010-07-19 22:16:29 +0000 |
| commit | fd0f43eb76cd33c734276f00f3169a8498e03bb2 (patch) | |
| tree | f73f7c1dd1e4786f5472fd329a4eb48b446f9165 /Master/install-tl | |
| parent | 38be9b849de4c215579c7f1e11df42ab23128bc7 (diff) | |
switch to DVD if $opt_from_dvd and CD
git-svn-id: svn://tug.org/texlive/trunk@19533 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/install-tl')
| -rwxr-xr-x | Master/install-tl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Master/install-tl b/Master/install-tl index 3cc9388cb49..5e25f5e1e09 100755 --- a/Master/install-tl +++ b/Master/install-tl @@ -399,6 +399,8 @@ if ($location =~ m!^(ctan$|(http|ftp)://)!i) { if (member('CD', @media_available)) { $media = 'CD'; + # for from_dvd option we want DVD media if possible + $media = 'DVD' if $opt_from_dvd && member('DVD', @media_available); } elsif (member('DVD', @media_available)) { $media = 'DVD'; } else { |