Hi, Erik.
I'm happy to see this change go in. It looks good.
Just one comment. When removing the footer in jvmit.html, I suspect that you
also need to make changes to jvmti.xsl, which was also modified when the
copyright footer was inserted in this changeset:
http://hg.openjdk.java.net/jdk/jdk/rev/9884b717f2ed
Thanks,
iris
-----Original Message-----
From: Erik Joelsson
Sent: Friday, May 3, 2019 9:38 AM
To: build-dev <[email protected]>; OpenJDK Serviceability
<[email protected]>
Subject: RFR: JDK-8223319: Add copyright footer to specs and man pages
The (optional) specs and man pages should have the same copyright footer as the
generated API docs. This patch adds the logic to add such footers. It also
removes the existing footer in jvmti.html.
Bug: https://bugs.openjdk.java.net/browse/JDK-8223319
Webrev: http://cr.openjdk.java.net/~erikj/8223319/webrev.01/index.html
/Erik
