RFR: 8247957: remove doclint support for HTML 4

Fri Dec 11 07:23:23 UTC 2020

On Fri, 13 Nov 2020 01:25:44 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote:

>> These lines are likely to be used as long as the "--doclint-format html5" option is permitted.  For example, this option is still used in the make/common/JavaCompilation.gmk.
>
> 1. we can update make/common/JavaCompilation.gmk
> 2. the option in javac/javadoc should be converted to a no-op so that it does not get passed down to doclint

(updating make/common/JavaCompilation.gmk should be done with a separate JBS issue, filed against the build.)

-------------

PR: https://git.openjdk.java.net/jdk/pull/893