On Tue, 19 Nov 2024 15:45:18 GMT, Hannes Wallnöfer <hann...@openjdk.org> wrote:
> Please review a change to enable the External Specifications page in API > docs. The page was disabled because of missing `@spec` tags in OpenJDK > sources. This is a straightforward undo of of #13127 / [JDK-8304689], which > means the hidden ad-hoc `--no-external-specs-page` option is also removed. > > [JDK-8304689]: https://bugs.openjdk.org/browse/JDK-8304689 > > [This is what the External Specifications page looks > like.](https://cr.openjdk.org/~hannesw/8344041/api.00/external-specs.html) This looks like a straight forward undo of https://github.com/openjdk/jdk/commit/2f34687ec1210317a9215496d0184fe30bda6437, while keeping relevant doc changes. ------------- PR Comment: https://git.openjdk.org/jdk/pull/22240#issuecomment-2503971100