author | erikj |
Tue, 01 Nov 2016 15:55:15 +0100 | |
changeset 41660 | e997167fd947 |
parent 41659 | 7c2c5a03a45f |
child 41661 | d759799570f8 |
make/Main.gmk | file | annotate | diff | comparison | revisions |
--- 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