From 51c8f332e99f1a50949d2d35fabf55bbf81a3eae Mon Sep 17 00:00:00 2001
From: Erik Joelsson <erikj@openjdk.org>
Date: Tue, 1 Nov 2016 15:55:15 +0100
Subject: [PATCH] 8168982: Missing dependency for docs-copy

Reviewed-by: tbell
---
 make/Main.gmk | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/make/Main.gmk b/make/Main.gmk
index b56feb54293..6e0a4b1fbea 100644
--- a/make/Main.gmk
+++ b/make/Main.gmk
@@ -683,7 +683,8 @@ else
 
   docs-javadoc: $(GENSRC_TARGETS) rmic
 
-  docs-copy: hotspot
+  # The gensrc step for jdk.jdi creates an html file that is used by docs-copy.
+  docs-copy: hotspot jdk.jdi-gensrc
 
   docs-zip: docs-javadoc docs-copy