On Wed, 2 Nov 2022 19:07:36 GMT, Jonathan Gibbons <j...@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. Looks good to me. Thank you for the spec improvements! Serguei ------------- PR: https://git.openjdk.org/jdk/pull/10957
