From 2e4446bb935b320899f6e9db063d9aeed20f4a23 Mon Sep 17 00:00:00 2001
From: "Dr. Martin Goik" <goik@hdm-stuttgart.de>
Date: Fri, 3 Jan 2020 21:45:52 +0100
Subject: [PATCH] Missing JAVA_HOME
---
P/Sd1/math/V1/pom.xml | 9 +++++----
1 file changed, 5 insertions(+), 4 deletions(-)
diff --git a/P/Sd1/math/V1/pom.xml b/P/Sd1/math/V1/pom.xml
index 4a538230b..b2ef8b669 100644
--- a/P/Sd1/math/V1/pom.xml
+++ b/P/Sd1/math/V1/pom.xml
@@ -41,13 +41,14 @@
<plugin>
<groupId>org.apache.maven.plugins</groupId>
<artifactId>maven-javadoc-plugin</artifactId>
- <version>3.0.1</version>
+ <version>3.1.0</version>
<configuration>
<linksource>true</linksource>
<additionalOptions>
<additionalOption>-html5 --allow-script-in-comments -header
<![CDATA['<script type="text/javascript" src="https://freedocs.mi.hdm-stuttgart.de/mathjax/MathJax.js?config=TeX-AMS-MML_HTMLorMML"></script>']]></additionalOption>
- </additionalOptions>
+ </additionalOptions>
+ <javadocExecutable>${java.home}/bin/javadoc</javadocExecutable>
</configuration>
</plugin>
<plugin>
@@ -55,8 +56,8 @@
<artifactId>maven-compiler-plugin</artifactId>
<version>3.7.0</version>
<configuration>
- <source>1.9</source>
- <target>1.9</target>
+ <source>11</source>
+ <target>11</target>
</configuration>
</plugin>
--
GitLab