RFR: JDK-8312044: Simplify toolkit Builder/Writer world.

Pavel Rappo prappo at openjdk.org
Fri Jul 21 15:46:42 UTC 2023


On Fri, 21 Jul 2023 15:22:07 GMT, Jonathan Gibbons <jjg at 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.

-------------

PR Comment: https://git.openjdk.org/jdk/pull/14913#issuecomment-1645783258


More information about the javadoc-dev mailing list