RFR: JDK-8180426 Use standard css file for new docs bundle index.html page

[Magnus Ihse Bursie]

On 2017-05-17 11:23, Erik Joelsson wrote:
> Looks ok. Note that adding the global resources copy targets to two 
> different top level targets may cause race conditions in rare cases 
> depending on OS and file system.

Do you propose that I solve it in a different way? I was thinking of 
moving the copy of resources to only the "index" which feels more 
"top-level" than the "specs" target, to avoid this duplication. But this 
also has the unfortunate effect that docs-jdk-specs no longer creates 
correctly working specs. Seems to be no good way out of this. :-(

/Magnus

>
> /Erik
>
>
> On 2017-05-17 10:16, Magnus Ihse Bursie wrote:
>> In JDK-8180208, a new top-level index.html for the entire docs image 
>> was created.
>>
>> This should use the common jdk-default.css file, which should move 
>> out of the specs directory.
>>
>> Here is an example how the generated page looks like:
>> http://cr.openjdk.java.net/~ihse/demo-docs-index-with-default-css/
>>
>> Bug: https://bugs.openjdk.java.net/browse/JDK-8180426
>> WebRev: 
>> http://cr.openjdk.java.net/~ihse/JDK-8180426-use-css-for-bundle-index-page/webrev.01
>>
>> /Magnus
>