diff options
Diffstat (limited to 'Master')
-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/; |