diff --git a/docs/manual/install.html b/docs/manual/install.html index 577775252..c87330e9f 100644 --- a/docs/manual/install.html +++ b/docs/manual/install.html @@ -380,6 +380,12 @@ Installing Ant / Optional Tasks section above.