build.xml
changeset 34069 e58d1aeff8f8
parent 33936 140e25aff39f
child 34296 44104c330893
child 34303 3030ba96b418
--- a/build.xml	Fri May 25 11:46:38 2018 +0200
+++ b/build.xml	Fri May 25 12:59:25 2018 +0200
@@ -100,6 +100,15 @@
     <equals arg1="${ant.java.version}" arg2="1.7"/>
   </condition>
 
+  <condition property="html.version" value="-html5" else="">
+    <not>
+      <or>
+        <equals arg1="${ant.java.version}" arg2="1.7"/>
+        <equals arg1="${ant.java.version}" arg2="1.8"/>
+      </or>
+    </not>
+  </condition>
+
   <condition property="calculate.core.rev">
    <istrue value="${calculate.core.revision}"/>
   </condition>
@@ -525,7 +534,7 @@
   </target>
 
   <target name="generate.java.doc">
-    <javadoc Windowtitle="${title}" access="protected" Header="${header}" Footer="${footer}" destdir="${build.docs}" maxmemory="1024M" failonerror="yes" additionalparam="${xdoclint.missing}">
+    <javadoc Windowtitle="${title}" access="protected" Header="${header}" Footer="${footer}" destdir="${build.docs}" maxmemory="1024M" failonerror="yes" additionalparam="${xdoclint.missing} ${html.version}">
       <sourcepath>
         <pathelement path="${base.src}" />
         <pathelement path="${base.src.test}/src" />