Request Review JDK-8182029: Make the top-level docs index.html to a HTML-level redirect to the API overview page

[Mandy Chung]

> On Jun 13, 2017, at 3:57 AM, Magnus Ihse Bursie <magnus.ihse.bursie at oracle.com> wrote:
> 
> 
> 
> On 2017-06-13 09:26, Alan Bateman wrote:
>> On 13/06/2017 06:21, Mandy Chung wrote:
>>> http://cr.openjdk.java.net/~mchung/jdk9/webrevs/8182029/webrev.00/
>>> 
>>> JBS issue:
>>>   https://bugs.openjdk.java.net/browse/JDK-8182029
>>> 
>>> This patch replaces the top-level docs index.html to a HTML-level redirect to the API overview page.  We can come back to this page later in a future release to convey grouping information.
>>> 
>> This looks okay to me and I think okay for Docs.gmk to have the content of the top-level index.html (I initially thought it might make more sense to have it in the repo but it's probably not worth it).

> I agree. It's trivial enough (although barely) to be created by Docs.gmk like this.
> 

I considered checking in this file.  As this is trivial and only few lines, Docs.gmk has several text snipplets and this follows the same convention.

> For a long-term solution I'd like to see a more correct change (for instance, index.html will not be regenerated if JDK_INDEX_CONTENT changes), but for jdk9 this is okay.

I will file a bug for this.  Checking in a file would be one way to solve this.

Mandy