diff options
author | Norbert Preining <preining@logic.at> | 2009-07-07 09:57:42 +0000 |
---|---|---|
committer | Norbert Preining <preining@logic.at> | 2009-07-07 09:57:42 +0000 |
commit | dc997c349d8a95f5461ddba0f564d45adbf9003d (patch) | |
tree | ebf5506b36aee081a943f2e949d480f85dc9603a /Master/install-tl | |
parent | a2d7ace8355edfdbe1832290f87c209f0b105335 (diff) |
save from_dvd to profile, and add some white space
git-svn-id: svn://tug.org/texlive/trunk@14175 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/install-tl')
-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; |