RFR: 8370154: Update @jls and @jvms taglets to point to local specs dir

[Dan Smith]

On Sat, 8 Nov 2025 01:29:13 GMT, Dan Smith <dlsmith at openjdk.org> wrote:

> Updated the JSpec taglets to use relative links into `../specs/jls` and `../specs/jvms` rather than external links, possible now due to JDK-8370153.
> 
> I was surprised there doesn't seem to be a standard way to get a relative path to the docs root, but I copy/pasted from ToolGuide, and made some tweaks based on failures I saw.
> 
> Tested with 'make docs' and manually confirmed that a handful of different `@jls` and `@jvms` tags are pointing to the right place.

JCP reviews actually happen before GA, so I think the external links are always dead anyway?

If it's something the JCP folks care about, I think the right solution is to include JLS & JVMS in the SE-only docs. (They are, after all, specs for Java SE.) But for now, I think the business as usual process is fine.

I'll confirm there are no more uses of `jspec.version` and update Docs.gmk.

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

PR Comment: https://git.openjdk.org/jdk/pull/28207#issuecomment-3505881120
PR Comment: https://git.openjdk.org/jdk/pull/28207#issuecomment-3505884846