diff options
| author | Karl Berry <karl@freefriends.org> | 2017-12-06 00:03:50 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2017-12-06 00:03:50 +0000 |
| commit | 8ea7bd927a6b2bf7977500672741dcb0f89fcbc7 (patch) | |
| tree | db0887f0befd2ffd237de8e19f3d3136e38229ab /Master/tlpkg/TeXLive/TLUtils.pm | |
| parent | 1d4324fb7eee9016217d729a2ef3ca1395cbb8c6 (diff) | |
(add_remove_symlinks): do nothing if
! -d $top_man_dir in remove mode also.
Report from Yihui Xie, 5 Dec 2017 15:26:00.
git-svn-id: svn://tug.org/texlive/trunk@45994 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/TeXLive/TLUtils.pm')
| -rw-r--r-- | Master/tlpkg/TeXLive/TLUtils.pm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/TeXLive/TLUtils.pm b/Master/tlpkg/TeXLive/TLUtils.pm index 0ea884a0515..53e5a6237bf 100644 --- a/Master/tlpkg/TeXLive/TLUtils.pm +++ b/Master/tlpkg/TeXLive/TLUtils.pm @@ -1945,7 +1945,7 @@ sub add_remove_symlinks { # man my $top_man_dir = "$Master/texmf-dist/doc/man"; debug("$mode symlinks for man pages to $sys_man from $top_man_dir\n"); - if (! -d $top_man_dir && $mode eq "add") { + if (! -d $top_man_dir) { ; # better to be silent? #info("skipping add of man symlinks, no source directory $top_man_dir\n"); } else { |