# HG changeset patch
# User sundar
# Date 1463390443 -19800
# Node ID ce2744a0f1a70228d507355e5bf0620d5df23b20
# Parent  caf97b37ebec84288c112d21d3a60cb628cba1e8
8156914: jlink API minor cleanups
Reviewed-by: mchung

diff -r caf97b37ebec -r ce2744a0f1a7 make/Javadoc.gmk
--- a/make/Javadoc.gmk	Wed Jul 05 21:42:16 2017 +0200
+++ b/make/Javadoc.gmk	Mon May 16 14:50:43 2016 +0530
@@ -1634,9 +1634,7 @@
 JLINK_PLUGIN_WINDOWTITLE := JLink Plugin API - EXPERIMENTAL
 JLINK_PLUGIN_HEADER := <strong>JLink Plugin API - EXPERIMENTAL</strong>
 JLINK_PLUGIN_BOTTOM := $(call CommonBottom,$(JLINK_PLUGIN_FIRST_COPYRIGHT_YEAR))
-JLINK_PLUGIN_PKGS = jdk.tools.jlink \
-    jdk.tools.jlink.builder \
-    jdk.tools.jlink.plugin
+JLINK_PLUGIN_PKGS = jdk.tools.jlink.plugin
 
 JLINK_PLUGIN_INDEX_HTML = $(JLINK_PLUGIN_DOCDIR)/index.html
 JLINK_PLUGIN_OPTIONS_FILE = $(DOCSTMPDIR)/jlinkplugins.options