diff --git a/manual/install.html b/manual/install.html index 6197a0587..0b0ac9bda 100644 --- a/manual/install.html +++ b/manual/install.html @@ -186,6 +186,13 @@ target="_top">https://archive.apache.org/dist/ant/. The files are organized the SHA1 checksum. +