diff --git a/docs/manual/install.html b/docs/manual/install.html index e9306e67e..577775252 100644 --- a/docs/manual/install.html +++ b/docs/manual/install.html @@ -347,7 +347,7 @@ Installing Ant / Optional Tasks section above.