On Fri, 18 Dec 2020 01:16:41 GMT, Jonathan Gibbons <[email protected]> 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 t should be enough. > > No test: it's somewhat silly to rigorously test that the comment will always > be missing. Looks good! ------------- Marked as reviewed by hannesw (Reviewer). PR: https://git.openjdk.java.net/jdk/pull/1833
