make/Main.gmk
changeset 55112 ad4285992012
parent 54426 2da3b1a3942f
child 55166 2ae056696b15
--- a/make/Main.gmk	Thu May 30 18:10:34 2019 +0100
+++ b/make/Main.gmk	Thu May 30 10:37:48 2019 -0700
@@ -869,7 +869,7 @@
   JVM_DOCS_TARGETS ?= hotspot-$(JVM_VARIANT_MAIN)-gensrc
 
   # The gensrc steps for hotspot and jdk.jdi create html spec files.
-  docs-jdk-specs: $(JVM_DOCS_TARGETS) jdk.jdi-gensrc \
+  docs-jdk-specs: buildtools-jdk $(JVM_DOCS_TARGETS) jdk.jdi-gensrc \
       docs-jdk-index
 
   docs-zip: docs-jdk