diff options
author | Karl Berry <karl@freefriends.org> | 2011-06-27 18:31:40 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2011-06-27 18:31:40 +0000 |
commit | 02d096ca0b56c7fbf4d920014b195344745c2491 (patch) | |
tree | 02bf42df3951e5ffcc158a78fbde2a9f6f09300f /Master/tlpkg/TeXLive/TLUtils.pm | |
parent | 76fd2b8ce23e738592ce20dac60ea578f69095e9 (diff) |
(add_link_dir_dir): exclude lib as well as man.
git-svn-id: svn://tug.org/texlive/trunk@23146 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/TeXLive/TLUtils.pm')
-rw-r--r-- | Master/tlpkg/TeXLive/TLUtils.pm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Master/tlpkg/TeXLive/TLUtils.pm b/Master/tlpkg/TeXLive/TLUtils.pm index 2a8399f1ea4..79848ff5ed0 100644 --- a/Master/tlpkg/TeXLive/TLUtils.pm +++ b/Master/tlpkg/TeXLive/TLUtils.pm @@ -1888,8 +1888,8 @@ sub add_link_dir_dir { my $ret = 1; for my $f (@files) { # skip certain dangerous entries that should never be linked somewhere - if ($f eq "man") { - debug("not linking man into $to.\n"); + if ($f eq "man" || $f eq "lib") { + debug("not linking special entry $f into $to.\n"); next; } unlink("$to/$f"); |