Changeset 13494 in josm for trunk/build.xml

Timestamp:

2018-03-04T01:30:00+01:00 (8 years ago)

Author:

Don-vip

Message:

see #11924, see #15560, fix #16048: Generate HTML5 javadoc with Java 9/10/11

• name HTML attribute is deprecated in HTML5: use id instead

File:

• trunk/build.xml (modified) (1 diff)

trunk/build.xml

@@ -384 +384 @@
             <doctitle><![CDATA[<h2>JOSM - Javadoc</h2>]]></doctitle>
             <bottom><![CDATA[<a href="https://josm.openstreetmap.de/">JOSM</a>]]></bottom>
-            <arg value="-html4" if:set="isJava9" />
+            <arg value="-html5" if:set="isJava9" />
             <arg value="--add-exports" if:set="isJava9" />
             <arg value="java.base/sun.security.util=ALL-UNNAMED" if:set="isJava9" />