--- a/jdk/src/jdk.policytool/share/classes/module-info.java Wed Jun 07 18:54:45 2017 -0700
+++ b/jdk/src/jdk.policytool/share/classes/module-info.java Wed Jun 07 21:15:06 2017 -0700
@@ -24,7 +24,13 @@
*/
/**
- * GUI tool for managing policy files.
+ * Defines the GUI tool for managing policy files
+ * called <em>{@index policytool policytool}</em>.
+ *
+ * <dl style="font-family:'DejaVu Sans', Arial, Helvetica, sans serif">
+ * <dt class="simpleTagLabel">Tool Guides:
+ * <dd>{@extLink policytool_tool_reference policytool}
+ * </dl>
*
* @since 9
* @deprecated
@@ -39,4 +45,3 @@
requires java.security.jgss;
requires jdk.security.jgss;
}
-