make/Main.gmk
changeset 44725 8747b14eb49c
parent 44724 8efb5c82a573
child 44726 04aa2c065f5c
--- a/make/Main.gmk	Mon Apr 17 19:23:42 2017 -0700
+++ b/make/Main.gmk	Wed Apr 19 10:24:42 2017 +0200
@@ -366,6 +366,9 @@
 docs-javadoc:
 	+($(CD) $(SRC_ROOT)/make && $(MAKE) $(MAKE_ARGS) -f Javadoc.gmk docs-javadoc)
 
+docs-reference:
+	+($(CD) $(SRC_ROOT)/make && $(MAKE) $(MAKE_ARGS) -f Javadoc.gmk docs-reference)
+
 docs-copy:
 	+($(CD) $(SRC_ROOT)/make && $(MAKE) $(MAKE_ARGS) -f Javadoc.gmk docs-copy)
 
@@ -375,7 +378,8 @@
 update-build-docs:
 	+($(CD) $(SRC_ROOT)/make && $(MAKE) $(MAKE_ARGS) -f UpdateBuildDocs.gmk)
 
-ALL_TARGETS += docs-module-graphs docs-javadoc docs-copy docs-zip update-build-docs
+ALL_TARGETS += docs-module-graphs docs-javadoc docs-reference docs-copy \
+    docs-zip update-build-docs
 
 ################################################################################
 # Cross compilation support
@@ -772,10 +776,12 @@
 
   bootcycle-images: jdk-image
 
-  docs-module-graphs: exploded-image buildtools-modules 
+  docs-module-graphs: exploded-image buildtools-modules
 
   docs-javadoc: $(GENSRC_TARGETS) rmic
 
+  docs-reference: $(GENSRC_TARGETS) rmic
+
   # The gensrc step for jdk.jdi creates an html file that is used by docs-copy.
   docs-copy: hotspot-$(JVM_VARIANT_MAIN)-gensrc jdk.jdi-gensrc