RFR: 8247957: remove doclint support for HTML 4

[Yoshiki Sato]

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

>> 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.)

Filed as [JDK-8256313](https://bugs.openjdk.java.net/browse/JDK-8256313).

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

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