diff options
-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 { |