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

Wed Dec 12 17:40:44 UTC 2018

Looks good.

/Erik

On 2018-12-12 08:31, Magnus Ihse Bursie wrote:
> 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
>