RFR: 8247957: remove doclint support for HTML 4 [v5]

[Yoshiki Sato]

On Wed, 23 Dec 2020 01:32:29 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote:

>> Yoshiki Sato has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   5th: 8258460: Remove --doclint-format option from javac
>
> Looks good.
> I'll pull down a copy, for review in an IDE and to build and run tests, and if that goes OK, I will approve it.

test comment

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

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