-
Type:
Enhancement
-
Resolution: Unresolved
-
Priority:
P4
-
None
-
Affects Version/s: None
-
Component/s: docs
-
None
The page:
https://docs.oracle.com/en/java/javase/25/docs/specs/man/java.html
contains the list of command line options for the java command. It would be useful to be able to link directly to a particular option, and so the enhancement is to add pandoc anchors to each option in the source file:
https://raw.githubusercontent.com/openjdk/jdk/refs/heads/master/src/java.base/share/man/java.md
this will allow a direct link to a particular option from the release notes, for example
https://docs.oracle.com/en/java/javase/25/docs/specs/man/java.html
contains the list of command line options for the java command. It would be useful to be able to link directly to a particular option, and so the enhancement is to add pandoc anchors to each option in the source file:
https://raw.githubusercontent.com/openjdk/jdk/refs/heads/master/src/java.base/share/man/java.md
this will allow a direct link to a particular option from the release notes, for example