On Fri, 21 Jul 2023 15:43:43 GMT, Pavel Rappo <pra...@openjdk.org> wrote:
> > It's not strictly required, but I would prefer not to delete it at this > > time. It's effectively just a logging comment to help indicate who created > > the file. > > Sure, it's OK to address it later. Judging by the spec ( > https://html.spec.whatwg.org/multipage/semantics.html#standard-metadata-names > ), we can probably say `content="jdk.javadoc"` or some such. If nothing else, > it would keep tests unaffected by changes like that. It has been useful in times past to identify the part of javadoc that generates the file. Having to modify the test occasionally on the very rare occasions when we rename classes seems like not a big deal. ------------- PR Comment: https://git.openjdk.org/jdk/pull/14913#issuecomment-1646107585
