diff options
| author | Karl Berry <karl@freefriends.org> | 2011-09-13 23:58:48 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2011-09-13 23:58:48 +0000 |
| commit | 582227ed022c3ea5efe93263d5da23745ce8384c (patch) | |
| tree | c8a03fea73f3c09e9624d02a88122819879fed07 /Master/tlpkg/bin/tl-update-ctan-mirrors | |
| parent | 8cf5e8fc33b56604d7e7e800798539760371f6ce (diff) | |
keep mirror name in sync, quiet update process
git-svn-id: svn://tug.org/texlive/trunk@23942 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/bin/tl-update-ctan-mirrors')
| -rwxr-xr-x | Master/tlpkg/bin/tl-update-ctan-mirrors | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Master/tlpkg/bin/tl-update-ctan-mirrors b/Master/tlpkg/bin/tl-update-ctan-mirrors index dab267967ba..88f7fdb76ee 100755 --- a/Master/tlpkg/bin/tl-update-ctan-mirrors +++ b/Master/tlpkg/bin/tl-update-ctan-mirrors @@ -117,6 +117,9 @@ sub add_mirror { printf STDERR "$0: mirror seems to be dead, skipped: $url\n"; } } else { - printf STDERR "$0: mirror not in mirmon file, skipped: $url\n"; + # CTAN people leave out ftp/rsync, and intentionally let the + # CTAN.sites file stay unchanged even when something is removed from + # mirmon, on occasion. So don't complain about it. + #printf STDERR "$0: mirror not in mirmon file, skipped: $url\n"; } } |