8170195: jshell tool (make): update javadoc generation for jdk.jshell
Reviewed-by: jjg
--- 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)