From fd9754db8b8176c61813d742d5e0e1c7f1e00b3a Mon Sep 17 00:00:00 2001
From: Martin Ledvinka <martin.ledvinka@fel.cvut.cz>
Date: Tue, 8 Sep 2020 17:45:06 +0200
Subject: [PATCH] Simplify Javadoc plugin configuration.

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

diff --git a/pom.xml b/pom.xml
index c0bd08c..9ff115b 100644
--- a/pom.xml
+++ b/pom.xml
@@ -137,10 +137,6 @@
                                 </goals>
                             </execution>
                         </executions>
-                        <configuration> <!-- add this to disable checking -->
-                            <additionalparam>-Xdoclint:none</additionalparam>
-                            <aggregate>true</aggregate>
-                        </configuration>
                     </plugin>
                     <plugin>
                         <groupId>org.apache.maven.plugins</groupId>