hg: jdk9/dev/jdk: 8180208: Provide a new docs bundle page

[mandy.chung at oracle.com]

Changeset: 9fc68c99204d
Author:    mchung
Date:      2017-05-12 13:29 -0700
URL:       http://hg.openjdk.java.net/jdk9/dev/jdk/rev/9fc68c99204d

8180208: Provide a new docs bundle page
Reviewed-by: ihse, jjg

! make/CompileModuleTools.gmk
! make/CompileTools.gmk
! make/ModuleTools.gmk
+ make/src/classes/build/tools/docs/GenDocsBundlePage.java
+ make/src/classes/build/tools/docs/docs-bundle-page.html
+ make/src/classes/build/tools/docs/docs-module-groups.properties