On Mon, 31 Oct 2022 23:23:44 GMT, Jonathan Gibbons <j...@openjdk.org> wrote:
>> Please review some updates to the parts of the build system related to >> building the documentation. > > Jonathan Gibbons has updated the pull request with a new target base due to a > merge or a rebase. The incremental webrev excludes the unrelated changes > brought in by the merge/rebase. The pull request contains three additional > commits since the last revision: > > - Merge remote-tracking branch 'upstream/master' into 8295914.spec-headers > - Address review feedback > - JDK-8295914: Add a header to generated HTML files in specs Marked as reviewed by erikj (Reviewer). ------------- PR: https://git.openjdk.org/jdk/pull/10891
