diff --git a/build.xml b/build.xml index 34c5fd614..68c71d4a4 100644 --- a/build.xml +++ b/build.xml @@ -560,7 +560,7 @@ description="--> creates the API documentation">