changeset 2087:48aaedf3cc38

8156914: jlink API minor cleanups Reviewed-by: mchung
author sundar
date Mon, 16 May 2016 14:50:43 +0530
parents 3463a3f14f0f
children 7bae104507e5
files make/Javadoc.gmk
diffstat 1 files changed, 1 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- a/make/Javadoc.gmk	Fri May 13 09:21:20 2016 +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