git: openjdk/jdk: 8296175: Output warning if generated docs contain diagnostic markers

[Hannes Wallnöfer]

Changeset: aee91fbc
Author:    Hannes Wallnöfer <hannesw at openjdk.org>
Date:      2024-04-26 19:59:57 +0000
URL:       https://git.openjdk.org/jdk/commit/aee91fbc70df716b96c202511b4ff1b302df8d60

8296175: Output warning if generated docs contain diagnostic markers

Reviewed-by: jjg

! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/HtmlDoclet.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/HtmlDocletWriter.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/Messages.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/resources/doclets.properties
! test/langtools/jdk/javadoc/tool/doclint/DocLintTest.java