[jdk24] Integrated: 8337111: Bad HTML checker for generated documentation

[Nizar Benalla]

On Mon, 23 Dec 2024 14:21:24 GMT, Nizar Benalla <nbenalla at openjdk.org> wrote:

> Hi all,
> 
> This pull request contains a backport of commit [ed292318](https://github.com/openjdk/jdk/commit/ed292318a98163b3226aa05d06825b48c3d97dbb) from the [openjdk/jdk](https://git.openjdk.org/jdk) repository.
> 
> The commit being backported was authored by Nizar Benalla on 23 Dec 2024 and was reviewed by Hannes Wallnöfer.
> 
> Thanks!
> 
> Note: https://github.com/openjdk/jdk/pull/22844 needs to be integrated before this change.

This pull request has now been integrated.

Changeset: 05c37699
Author:    Nizar Benalla <nbenalla at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/05c376998652c11c90dc4b0b9c7c40c4dab5b9d5
Stats:     3082 lines in 18 files changed: 3038 ins; 44 del; 0 mod

8337111: Bad HTML checker for generated documentation
8337113: Bad character checker for generated documentation
8337116: Internal links checker for generated documentation
8337114: DocType checker for generated documentation
8337117: External links checker for generated documentation

Reviewed-by: prappo
Backport-of: ed292318a98163b3226aa05d06825b48c3d97dbb

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

PR: https://git.openjdk.org/jdk/pull/22866