diff options
author | Norbert Preining <preining@logic.at> | 2008-10-13 23:56:31 +0000 |
---|---|---|
committer | Norbert Preining <preining@logic.at> | 2008-10-13 23:56:31 +0000 |
commit | bbf57f78a6acd818c39f6459e64afca17e9962f4 (patch) | |
tree | bdc6b61d8f229b2ea6bf777f7d7f8b5963b9dc51 /Master/install-tl | |
parent | 6a53e4ae20ba1a2f3034b7394f58db7fcf7afff4 (diff) |
fix install-tl missing sys_* entries in written profile
git-svn-id: svn://tug.org/texlive/trunk@10961 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/install-tl')
-rwxr-xr-x | Master/install-tl | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Master/install-tl b/Master/install-tl index 9d7cba91e05..769342b19e1 100755 --- a/Master/install-tl +++ b/Master/install-tl @@ -833,6 +833,11 @@ sub create_profile { print $fh "$key $vars{$key}\n" if $key=~/^option_fmt/; print $fh "$key $vars{$key}\n" if $key=~/^option_src/; print $fh "$key $vars{$key}\n" if $key=~/^option_symlinks/; + if ($vars{'option_symlinks'}) { + print $fh "sys_bin ", $vars{'sys_bin'}, "\n" if $key =~ /^sys_bin/; + print $fh "sys_man ", $vars{'sys_man'}, "\n" if $key =~ /^sys_man/; + print $fh "sys_info ", $vars{'sys_info'}, "\n" if $key =~ /^sys_info/; + } 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/; |