git: openjdk/jdk: master: 8344041: Re-enable external specs page

[Hannes Wallnöfer]

Changeset: ac2fede1
Branch: master
Author:    Hannes Wallnöfer <hannesw at openjdk.org>
Date:      2024-12-02 08:39:47 +0000
URL:       https://git.openjdk.org/jdk/commit/ac2fede165e0ecbfa51f5cc75a3218c51e3528be

8344041: Re-enable external specs page

Reviewed-by: erikj, nbenalla, liach

! make/Docs.gmk
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/HtmlDoclet.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/HtmlOptions.java
! test/langtools/jdk/javadoc/doclet/testSpecTag/TestSpecTag.java