RFR: JDK-8214741 docs/index.html has no title or copyright

Wed Dec 12 16:31:07 UTC 2018

The top level index file is primarily a redirect file, and is never seen 
directly.

However, it shows up in reports as not having a <title> element and 
<body> element, which makes it illegal HTML, and not having a copyright 
line.

build/linux-x86_64-server-release/images/docs/index.html:1:108: Warning: 
discarding unexpected </html>
build/linux-x86_64-server-release/images/docs/index.html:1:34: Warning: 
inserting missing 'title' element

At a minimum, the file should have a <title> and <body>. It would be 
better if it also had a basic copyright line as well.

Bug: https://bugs.openjdk.java.net/browse/JDK-8214741
WebRev: 
http://cr.openjdk.java.net/~ihse/JDK-8214741-docs-index-incorrect-html/webrev.01

/Magnus