Changeset 13494 in josm

Timestamp:

2018-03-04T01:30:00+01:00 (7 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

Location:

trunk

Files:

• build.xml (modified) (1 diff)
• src/org/openstreetmap/josm/data/validation/routines/package.html (modified) (7 diffs)

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" />

trunk/src/org/openstreetmap/josm/data/validation/routines/package.html

@@ -36 +36 @@
 </ul>
 
-<a name="overview"></a>
+<a id="overview"></a>
 <h1>1. Overview</h1>
 <p>
@@ -56 +56 @@
 </p>
 
-<a name="other"></a>
+<a id="other"></a>
 <h1>2. Validators</h1>
 
-<a name="other.overview"></a>
+<a id="other.overview"></a>
 <h2>2.1 Overview</h2>
 <p>
@@ -77 +77 @@
 </ul>
 
-<a name="other.regex"></a>
+<a id="other.regex"></a>
 <h2>2.2 Regular Expression Validation</h2>
 <p>
@@ -158 +158 @@
 </p>
 
-<a name="other.inet"></a>
+<a id="other.inet"></a>
 <h2>2.3 IP Address Validation</h2>
 
@@ -180 +180 @@
 </pre>
 
-<a name="other.email"></a>
+<a id="other.email"></a>
 <h2>2.4 Email Address Validation</h2>
 
@@ -204 +204 @@
 </pre>
 
-<a name="other.url"></a>
+<a id="other.url"></a>
 <h2>2.5 URL Validation</h2>
 
@@ -245 +245 @@
 </pre>
 
-<a name="other.domain"></a>
+<a id="other.domain"></a>
 <h2>2.6 Domain Name Validation</h2>