changeset 2407:6234069ff978 jdk-9+150

8170195: jshell tool (make): update javadoc generation for jdk.jshell Reviewed-by: jjg
author rfield
date Tue, 20 Dec 2016 13:44:04 -0800
parents ebb53399f956
children d07e92028587 acf8119d2b86
files make/Javadoc.gmk
diffstat 1 files changed, 3 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/make/Javadoc.gmk	Mon Dec 19 12:39:00 2016 -0500
+++ b/make/Javadoc.gmk	Tue Dec 20 13:44:04 2016 -0800
@@ -577,12 +577,13 @@
     PACKAGES := \
         jdk.jshell \
         jdk.jshell.spi \
-        jdk.jshell.execution, \
+        jdk.jshell.execution \
+        jdk.jshell.tool, \
     API_ROOT := jdk, \
     DEST_DIR := jshell, \
-    OVERVIEW := $(LANGTOOLS_TOPDIR)/src/jdk.jshell/share/classes/jdk/jshell/overview.html, \
     TITLE := JShell API, \
     FIRST_COPYRIGHT_YEAR := 2015, \
+    SPLIT_INDEX := TRUE, \
 ))
 
 TARGETS += $(jshellapi)