--- a/make/Main.gmk	Mon Oct 31 16:48:42 2016 +0100
+++ b/make/Main.gmk	Tue Nov 01 15:55:15 2016 +0100
@@ -683,7 +683,8 @@
 
   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