--- a/make/Main.gmk Thu Jun 20 11:21:54 2019 -0700
+++ b/make/Main.gmk Thu Jun 20 14:03:10 2019 -0600
@@ -427,6 +427,9 @@
docs-zip:
+($(CD) $(TOPDIR)/make && $(MAKE) $(MAKE_ARGS) -f Docs.gmk docs-zip)
+docs-specs-zip:
+ +($(CD) $(TOPDIR)/make && $(MAKE) $(MAKE_ARGS) -f Docs.gmk docs-specs-zip)
+
update-build-docs:
+($(CD) $(TOPDIR)/make && $(MAKE) $(MAKE_ARGS) -f UpdateBuildDocs.gmk)
@@ -436,7 +439,7 @@
ALL_TARGETS += docs-jdk-api-javadoc docs-jdk-api-modulegraph \
docs-javase-api-javadoc docs-javase-api-modulegraph \
docs-reference-api-javadoc docs-reference-api-modulegraph docs-jdk-specs \
- docs-jdk-index docs-zip update-build-docs update-x11wrappers
+ docs-jdk-index docs-zip docs-specs-zip update-build-docs update-x11wrappers
################################################################################
# Cross compilation support
@@ -885,6 +888,8 @@
docs-zip: docs-jdk
+ docs-specs-zip: docs-jdk-specs
+
# Tests
test: jdk-image test-image