On Fri, 21 Jul 2023 15:11:41 GMT, Pavel Rappo <pra...@openjdk.org> wrote:
> > Please review a medium-sized but conceptually simple change to simplify the > > overall class hierarchy of the `doclet` world. > > This PR looks like a welcome and long-overdue simplification. In fact, I > expect more aggressive cleanup soon so that the overall jdk.javadoc becomes > much, much leaner. > > > * Because of the class renaming, the `<meta name="generator" ...>` > > information changes; there are no other changes to the generated JDK API > > documentation. > > I wonder what purpose that "generator" meta tag serves. Do we need it in its > current form? 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. ------------- PR Comment: https://git.openjdk.org/jdk/pull/14913#issuecomment-1645755352
