From 199c1405bf3d753a35083bf190458050006f5bac Mon Sep 17 00:00:00 2001
From: Marcin Grzejszczak <marcin.grzejszczak@gmail.com>
Date: Mon, 30 Mar 2020 08:40:54 +0200
Subject: [PATCH] Externalized javadoc.failOnError

---
 pom.xml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pom.xml b/pom.xml
index eb1725dc..6dc4d04a 100644
--- a/pom.xml
+++ b/pom.xml
@@ -107,6 +107,7 @@
 		<generated-docs-multipage-output.dir>${project.build.directory}/generated-docs/reference/html</generated-docs-multipage-output.dir>
 		<generated-docs-singlepage-output.dir>${project.build.directory}/generated-docs/reference/htmlsingle</generated-docs-singlepage-output.dir>
 		<generated-docs-pdf-output.dir>${project.build.directory}/generated-docs/reference/pdf</generated-docs-pdf-output.dir>
+		<javadoc.failOnError>false</javadoc.failOnError>
 	</properties>
 	<dependencyManagement>
 		<dependencies>
@@ -240,8 +241,7 @@
 					</execution>
 				</executions>
 				<configuration>
-					<!-- TODO: We need to patch the javadocs instead of disabling this -->
-					<failOnError>false</failOnError>
+					<failOnError>>${javadoc.failOnError}</failOnError>
 					<quiet>true</quiet>
 				</configuration>
 			</plugin>