summaryrefslogtreecommitdiff
path: root/Master/install-tl
diff options
context:
space:
mode:
Diffstat (limited to 'Master/install-tl')
-rwxr-xr-xMaster/install-tl3
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;