diff options
author | Norbert Preining <preining@logic.at> | 2017-04-18 07:51:37 +0000 |
---|---|---|
committer | Norbert Preining <preining@logic.at> | 2017-04-18 07:51:37 +0000 |
commit | 2df64a2e1c0ffc000425af9bdc949004fd5266a1 (patch) | |
tree | 981d7ebcb29de0c077b4305a11af05d349782dd1 /Master | |
parent | f62216d7cf5a1a2ee08d85b80f0cdb8068900b06 (diff) |
ignore TEXDIRW in profiles
git-svn-id: svn://tug.org/texlive/trunk@43908 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master')
-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; |