8170195: jshell tool (make): update javadoc generation for jdk.jshell

Reviewed-by: jjg
2016-12-20 13:44:04 -08:00 · 2016-12-20 13:44:04 -08:00 · 24149f0643
commit 24149f0643
parent 1a300611f0
1 changed files with 3 additions and 2 deletions
--- a/make/Javadoc.gmk
+++ b/make/Javadoc.gmk
@ -577,12 +577,13 @@ $(eval $(call SetupJavadocGeneration, jshellapi, \
    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)