summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xMaster/install-tl11
1 files changed, 6 insertions, 5 deletions
diff --git a/Master/install-tl b/Master/install-tl
index eeac618cbd0..9f89a1b067d 100755
--- a/Master/install-tl
+++ b/Master/install-tl
@@ -1227,11 +1227,12 @@ sub create_profile {
if $key=~/^collection/ and $vars{$key}==1;
print $fh "$key $vars{$key}\n" if $key =~ /^option_/;
print $fh "$key $vars{$key}\n" if (($key =~ /^binary_/) && $vars{$key});
- print $fh "$key $vars{$key}\n" if $key=~/^TEXDIR/; # includes TEXDIRW
- print $fh "$key $vars{$key}\n" if $key=~/^TEXMFSYSVAR/;
- print $fh "$key $vars{$key}\n" if $key=~/^TEXMFSYSCONFIG/;
- print $fh "$key $vars{$key}\n" if $key=~/^TEXMFLOCAL/;
- print $fh "$key $vars{$key}\n" if $key=~/^TEXMFHOME/;
+ print $fh "$key $vars{$key}\n" if $key =~ /^TEXDIR/; # includes TEXDIRW
+ print $fh "$key $vars{$key}\n" if $key =~ /^TEXMFSYSVAR/;
+ print $fh "$key $vars{$key}\n" if $key =~ /^TEXMFSYSCONFIG/;
+ print $fh "$key $vars{$key}\n" if $key =~ /^TEXMFLOCAL/;
+ print $fh "$key $vars{$key}\n" if $key =~ /^TEXMFHOME/;
+ print $fh "$key $vars{$key}\n" if $key =~ /^from_dvd/;
}
if (!ref($profilepath)) {
close PROFILE;