On Fri, 18 Dec 2020 01:16:41 GMT, Jonathan Gibbons <j...@openjdk.org> wrote:
> Small change to remove an unnecessary comment from the beginning of generated > files. I'm guessing the comment dates from way back when the doc pages were > used to generate paper books. For those that want to identify that point in > the file, either the DOCTYPE or start of the HTML elements should be enough. > > No test: it's somewhat silly to rigorously test that the comment will always > be missing. This pull request has now been integrated. Changeset: d9f21346 Author: Jonathan Gibbons <j...@openjdk.org> URL: https://git.openjdk.java.net/jdk/commit/d9f21346 Stats: 25 lines in 5 files changed: 0 ins; 18 del; 7 mod 8258655: remove <-- NewPage --> comment from generated pages Reviewed-by: hannesw ------------- PR: https://git.openjdk.java.net/jdk/pull/1833
