diff --git a/build.xml b/build.xml
index 67a3f212b..c03a3a03f 100644
--- a/build.xml
+++ b/build.xml
@@ -1442,7 +1442,8 @@
       version="true"
       locale="en"
       windowtitle="${Name} API"
-      doctitle="${Name}">
+      doctitle="${Name}"
+      verbose="${javadoc.verbose}">
 
       <packageset dir="${java.dir}"/>