diff -r 63fa55abb6d2 -r ad4285992012 make/Main.gmk
--- 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