diff --git a/docs/manual/install.html b/docs/manual/install.html index 830b6d324..c6e657e30 100644 --- a/docs/manual/install.html +++ b/docs/manual/install.html @@ -573,7 +573,7 @@ Installing Ant / Optional Tasks section above.