summaryrefslogtreecommitdiff
path: root/Master/install-tl
diff options
context:
space:
mode:
authorNorbert Preining <preining@logic.at>2008-10-13 23:56:31 +0000
committerNorbert Preining <preining@logic.at>2008-10-13 23:56:31 +0000
commitbbf57f78a6acd818c39f6459e64afca17e9962f4 (patch)
treebdc6b61d8f229b2ea6bf777f7d7f8b5963b9dc51 /Master/install-tl
parent6a53e4ae20ba1a2f3034b7394f58db7fcf7afff4 (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-xMaster/install-tl5
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/;