RFR: JDK-8215304 Make target "docs-jdk-index" has unnecessary dependencies

[Lance Andersen]

Looks OK Magnus

> On Dec 12, 2018, at 1:00 PM, Magnus Ihse Bursie <magnus.ihse.bursie at oracle.com> wrote:
> 
> The target  docs-jdk-index has dependencies that are quite heavyweight, and are not needed. They should just be removed.
> 
> Bug: https://bugs.openjdk.java.net/browse/JDK-8215304
> Patch inline:
> diff --git a/make/Main.gmk b/make/Main.gmk
> --- a/make/Main.gmk
> +++ b/make/Main.gmk
> @@ -862,8 +862,6 @@
>   docs-jdk-specs: $(JVM_DOCS_TARGETS) jdk.jdi-gensrc \
>       docs-jdk-index
> 
> -  docs-jdk-index: exploded-image buildtools-modules
> -
>   docs-zip: docs-jdk
> 
>   # Tests
> 
> /Magnus

 <http://oracle.com/us/design/oracle-email-sig-198324.gif>
 <http://oracle.com/us/design/oracle-email-sig-198324.gif> <http://oracle.com/us/design/oracle-email-sig-198324.gif>
 <http://oracle.com/us/design/oracle-email-sig-198324.gif>Lance Andersen| Principal Member of Technical Staff | +1.781.442.2037
Oracle Java Engineering 
1 Network Drive 
Burlington, MA 01803
Lance.Andersen at oracle.com <mailto:Lance.Andersen at oracle.com>