From fe81f674ecd09e3221dd3a3d06c0197ef8d8aa5b Mon Sep 17 00:00:00 2001
From: Claudio Atzori <claudio.atzori@isti.cnr.it>
Date: Wed, 29 Apr 2020 16:19:57 +0200
Subject: [PATCH] updated maven-javadoc-plugin to v3.2.0, disabled doclint to
 avoid compilation to fail in case of incomplete javadoc tags

---
 pom.xml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index bb48c04a1..3466dc783 100644
--- a/pom.xml
+++ b/pom.xml
@@ -449,9 +449,10 @@
 				<plugin>
 					<groupId>org.apache.maven.plugins</groupId>
 					<artifactId>maven-javadoc-plugin</artifactId>
-					<version>2.10.4</version>
+					<version>3.2.0</version>
 					<configuration>
 						<detectLinks>true</detectLinks>
+						<doclint>none</doclint>
 					</configuration>
 				</plugin>
 				<plugin>