archive/jdk
1
0
Fork 0
mirror of https://github.com/openjdk/jdk.git synced 2025-08-27 06:45:07 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

8223663: Update links for tool guides

Browse source 
Reviewed-by: alanb, erikj, darcy
This commit is contained in:
Jonathan Gibbons 2019-05-20 10:57:57 -07:00
parent fec76f2b95
commit 2ad2cce6e0
20 changed files with 210 additions and 102 deletions
Download patch file Download diff file Expand all files Collapse all files

6
src/java.base/share/classes/module-info.java
View file

@ -36,11 +36,11 @@
* {@link java.nio.file.FileSystems#newFileSystem
* FileSystems.newFileSystem(URI.create("jrt:/"))}.
* </dd>
* <dt class="simpleTagLabel" style="font-family:'DejaVu Sans', Arial, Helvetica, sans serif">Tool Guides:</dt>
* <dd style="font-family:'DejaVu Sans', Arial, Helvetica, sans serif"> {@extLink java_tool_reference java launcher},
* {@extLink keytool_tool_reference keytool}</dd>
* </dl>
*
* @toolGuide java java launcher
* @toolGuide keytool
*
* @provides java.nio.file.spi.FileSystemProvider
*
* @uses java.lang.System.LoggerFinder