summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2010-07-19 22:16:29 +0000
committerKarl Berry <karl@freefriends.org>2010-07-19 22:16:29 +0000
commitfd0f43eb76cd33c734276f00f3169a8498e03bb2 (patch)
treef73f7c1dd1e4786f5472fd329a4eb48b446f9165
parent38be9b849de4c215579c7f1e11df42ab23128bc7 (diff)
switch to DVD if $opt_from_dvd and CD
git-svn-id: svn://tug.org/texlive/trunk@19533 c570f23f-e606-0410-a88d-b1316a301751
-rwxr-xr-xMaster/install-tl2
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 {