git: openjdk/jdk: 8295914: Add a header to generated HTML files in specs

[Jonathan Gibbons]

Changeset: d17bf51f
Author:    Jonathan Gibbons <jjg at openjdk.org>
Date:      2022-11-01 18:39:50 +0000
URL:       https://git.openjdk.org/jdk/commit/d17bf51f91371072a758e775136af946192e771b

8295914: Add a header to generated HTML files in specs

Reviewed-by: erikj, iris

! make/Docs.gmk
! make/data/docs-resources/resources/jdk-default.css
! make/jdk/src/classes/build/tools/fixuppandoc/Main.java