diff --git a/build.gradle b/build.gradle
index 882b2328b0b5d47af5c71480c21188e65b861d78..ecf56343d7171db9c725dece03fc42d53acb5713 100644
--- a/build.gradle
+++ b/build.gradle
@@ -71,6 +71,10 @@ compileJava {
   dependsOn << 'tom'
 }
 
+javadoc {
+    failOnError = false
+}
+
 clean{
     delete "src/org/eventb/internal/core/typecheck/TypeUnifier.java"
 }