Integrated: JDK-8258655: remove <-- NewPage --> comment from generated pages

Mon Jan 11 18:53:05 UTC 2021

On Fri, 18 Dec 2020 01:16:41 GMT, Jonathan Gibbons <jjg at 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 <jjg at 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