On Fri, 13 Nov 2020 02:49:40 GMT, Yoshiki Sato <ysato...@openjdk.org> wrote:
>> (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). In javac Arguments class, we should delete these lines at about 855 ` String format = options.get(Option.DOCLINT_FORMAT); if (format != null) { doclintOpts.add(DocLint.XHTML_VERSION_PREFIX + format); } ` This could be a separate JBS issue, if you prefer. ------------- PR: https://git.openjdk.java.net/jdk/pull/893
