Integrated: JDK-8296188: Update style and header in JDWP Protocol spec and JVMTI spec

Wed Nov 2 21:15:24 UTC 2022

On Wed, 2 Nov 2022 19:07:36 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote:

> Please review a simple makefile-only update to inject the standard stylesheet and navigation header into the two JDK specifications that are generated as HTML files in the `gensrc` directory, to bring these docs in line with the rest of the specs documents.
> 
> Generated docs at: 
> * http://cr.openjdk.java.net/~jjg/8296188/docs.00/specs/jdwp/jdwp-protocol.html
> * http://cr.openjdk.java.net/~jjg/8296188/docs.00/specs/jvmti.html
> 
> The JVM TI spec has a list of links at the beginning, in bold. This is not a CSS issue ... it is in the HTML, generated by XSL scripts. Ideally, the list should be in a separate `<nav>` element and the `<b>` tags removed, and maybe the style revised using local CSS. But that is a separate issue.

This pull request has now been integrated.

Changeset: fd60036a
Author:    Jonathan Gibbons <jjg at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/fd60036a34b0a8516eb29b698674c8242c4a84c1
Stats:     19 lines in 1 file changed: 14 ins; 0 del; 5 mod

8296188: Update style and header in JDWP Protocol spec and JVMTI spec

Reviewed-by: erikj

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

PR: https://git.openjdk.org/jdk/pull/10957