Changeset 15243 in josm


Ignore:
Timestamp:
2019-07-12T00:05:38+02:00 (5 years ago)
Author:
Don-vip
Message:

see #17516 - Disable HTML checking until we switch to Java13+, see ​https://bugs.openjdk.java.net/browse/JDK-8223552

File:
1 edited

Legend:

Unmodified
Added
Removed

  • trunk/build.xml

    r15234 r15243  
    414414            <doctitle><![CDATA[<h2>JOSM - Javadoc</h2>]]></doctitle>
    415415            <bottom><![CDATA[<a href="https://josm.openstreetmap.de/">JOSM</a>]]></bottom>
     416            <!-- Disable HTML checking until we switch to Java13+, see https://bugs.openjdk.java.net/browse/JDK-8223552 -->
     417            <arg value="-Xdoclint:-html" if:set="isJava13" />
    416418            <arg value="-html5" if:set="isJava9" />
    417419            <arg value="--add-exports" if:set="isJava9" />
Note: See TracChangeset for help on using the changeset viewer.