hg: jdk9/dev/jdk: 8180717: Upgrade the docs bundle index page

[mandy.chung at oracle.com]

Changeset: 29bbedd4cce8
Author:    mchung
Date:      2017-05-22 11:08 -0700
URL:       http://hg.openjdk.java.net/jdk9/dev/jdk/rev/29bbedd4cce8

8180717: Upgrade the docs bundle index page
Reviewed-by: jjg, ihse

! 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