On Tue, 24 May 2022 21:30:59 GMT, Pavel Rappo <pra...@openjdk.org> wrote:
>> src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/BaseOptions.java >> line 302: >> >>> 300: >>> 301: /** >>> 302: * Argument for command-line option {@code --spec-base-URI}. >> >> Have my earlier comment on the upper case in `--spec-base-URI` disappeared? >> I cannot seem to find it. > > Ah, found it: there are two of those cases. I believe these have all been fixed ------------- PR: https://git.openjdk.java.net/jdk/pull/8439