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

Wed Dec 23 05:05:05 UTC 2020

On Wed, 23 Dec 2020 01:27:30 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: 8257204 and 8256313
>>   8257204: Remove usage of -Xhtmlversion option from javac
>>   8256313: JavaCompilation.gmk needs to be updated not to use --doclint-format html5 option
>
> src/jdk.compiler/share/man/javac.1 line 638:
> 
>> 636: .RS
>> 637: .RE
>> 638: .TP
> 
> In general, you should not edit files like this; these files are generated from upstream Markdown files.

Ok.  I will revert this with the next commit.

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

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