> On Jun 13, 2017, at 3:57 AM, Magnus Ihse Bursie > <magnus.ihse.bur...@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
