diff options
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"; } } |