diff --git a/docs/manual/install.html b/docs/manual/install.html index a6970ee4e..8f7a6b48e 100644 --- a/docs/manual/install.html +++ b/docs/manual/install.html @@ -342,6 +342,18 @@ Installing Ant / Optional Tasks section above.