make/Javadoc.gmk
changeset 42539 d706d00a2719
parent 42533 7adb02a61b45
child 42851 72e5b4fb1e1b
equal deleted inserted replaced
42538:973e43884dba 42539:d706d00a2719
   575 $(eval $(call SetupJavadocGeneration, jshellapi, \
   575 $(eval $(call SetupJavadocGeneration, jshellapi, \
   576     MODULES := jdk.jshell, \
   576     MODULES := jdk.jshell, \
   577     PACKAGES := \
   577     PACKAGES := \
   578         jdk.jshell \
   578         jdk.jshell \
   579         jdk.jshell.spi \
   579         jdk.jshell.spi \
   580         jdk.jshell.execution, \
   580         jdk.jshell.execution \
       
   581         jdk.jshell.tool, \
   581     API_ROOT := jdk, \
   582     API_ROOT := jdk, \
   582     DEST_DIR := jshell, \
   583     DEST_DIR := jshell, \
   583     OVERVIEW := $(LANGTOOLS_TOPDIR)/src/jdk.jshell/share/classes/jdk/jshell/overview.html, \
       
   584     TITLE := JShell API, \
   584     TITLE := JShell API, \
   585     FIRST_COPYRIGHT_YEAR := 2015, \
   585     FIRST_COPYRIGHT_YEAR := 2015, \
       
   586     SPLIT_INDEX := TRUE, \
   586 ))
   587 ))
   587 
   588 
   588 TARGETS += $(jshellapi)
   589 TARGETS += $(jshellapi)
   589 
   590 
   590 ################################################################################
   591 ################################################################################