diff --git a/docs/antlibs/bindownload.html b/docs/antlibs/bindownload.html index bf54b2943..3c1191f2d 100644 --- a/docs/antlibs/bindownload.html +++ b/docs/antlibs/bindownload.html @@ -222,25 +222,28 @@ mirrors for a few days. require gnu tar to do the extraction.