RFR: JDK-8275786: New javadoc option to add script files to generated documentation

[Jonathan Gibbons]

On Fri, 29 Oct 2021 13:09:31 GMT, Hannes Wallnöfer <hannesw at openjdk.org> wrote:

> JDK-8275786: New javadoc option to add script files to generated documentation

OK.

At some point, we should revisit the relationship between strings representing files on the command line, `Path`, and `DocFile`, taking JSR 199 and alternate file managers into account.  Somewhere in there is `Paths.get` which should maybe be cleaned up.  But not here.

src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/markup/Head.java line 63:

> 61:     private DocPath mainStylesheet;
> 62:     private List<DocPath> additionalStylesheets = Collections.emptyList();
> 63:     private List<DocPath> additionalScripts = Collections.emptyList();;

Suggest moving this down a few lines, after `mainBodyScript` and `scripts`.

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

Marked as reviewed by jjg (Reviewer).

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