8170195: jshell tool (make): update javadoc generation for jdk.jshell
authorrfield
Tue, 20 Dec 2016 13:44:04 -0800
changeset 42539 d706d00a2719
parent 42538 973e43884dba
child 42665 206362a31f79
8170195: jshell tool (make): update javadoc generation for jdk.jshell Reviewed-by: jjg
make/Javadoc.gmk
--- 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)