On Fri, 29 Oct 2021 13:09:31 GMT, Hannes Wallnöfer <hann...@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
