diff options
Diffstat (limited to 'Master/install-tl')
-rwxr-xr-x | Master/install-tl | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Master/install-tl b/Master/install-tl index be8433e4826..4f99d347e6b 100755 --- a/Master/install-tl +++ b/Master/install-tl @@ -1823,6 +1823,9 @@ sub read_profile { next if m/^[[:space:]]*$/; # skip empty lines next if m/^[[:space:]]*#/; # skip comment lines my ($k,$v) = split (" ", $_, 2); # value might have spaces + # skip TEXDIRW, seems not used anymore, but might be around + # in some profiles + next if ($k eq "TEXDIRW"); # convert old keys to new keys $k = $keyrename{$k} if ($keyrename{$k}); $pro{$k} = $v; |