On Tue, 21 Mar 2023 21:08:01 GMT, Jonathan Gibbons <[email protected]> wrote:
> Please review a change to introduce a hidden option to temporarily disable
> the "External Specifications" page while we add `@spec` tags, and until we
> have a critical mass of such tags.
src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/HtmlOptions.java
line 355:
> 353: new Hidden(resources, "--no-external-specs-page") {
> 354: @Override
> 355: public boolean process(String opt, List<String>
> args) {
nit
Suggestion:
public boolean process(String opt, List<String> args) {
-------------
PR Review Comment: https://git.openjdk.org/jdk/pull/13127#discussion_r1144436694
