From 30ebd7424aa48b3767cbf2812362dd156a9d22db Mon Sep 17 00:00:00 2001
From: "Dr. Martin Goik" <goik@hdm-stuttgart.de>
Date: Sat, 13 Oct 2018 13:55:47 +0200
Subject: [PATCH] test-javadoc, plugin updates

---
 P/Makefile | 2 +-
 pom.xml    | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/P/Makefile b/P/Makefile
index ed1842ac6..03c4cc735 100644
--- a/P/Makefile
+++ b/P/Makefile
@@ -10,7 +10,7 @@ PROJECTROOTS=$(shell for module in ${DOCMODULES}; do \
 	cd $*; mvn install && touch pom.install || echo;
 
 %/pom.javadoc: %/pom.xml
-	cd $*; mvn javadoc:javadoc && touch pom.javadoc || echo ;
+	cd $*; mvn javadoc:test-javadoc javadoc:javadoc && touch pom.javadoc || echo ;
 
 %/pom.clean: %/pom.xml
 	cd $*; mvn clean eclipse:clean
diff --git a/pom.xml b/pom.xml
index 1e6ee3f51..dc0de86e3 100644
--- a/pom.xml
+++ b/pom.xml
@@ -35,7 +35,7 @@
             <plugin>
                 <groupId>org.apache.maven.plugins</groupId>
                 <artifactId>maven-compiler-plugin</artifactId>
-                <version>3.2</version>
+                <version>3.8.0</version>
                 <configuration>
                     <source>1.8</source>
                     <target>1.8</target>
-- 
GitLab