diff options
-rwxr-xr-x | Master/install-tl | 11 |
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; |