RFR: JDK-8243113 : Always identify version of javadoc used to generate docs

[Jonathan Gibbons]

I have posted the correct webrev posted for this bug and URL.

-- Jon

On 6/17/20 6:18 AM, Hannes Wallnoefer wrote:
> Hi Jon,
>
> The URL for the webrev looks correct, but it contains the patch for 8245696 (invalid file names in doc-files).
>
> Believe me, I hate juggling bug ids just like you :)
>
> Hannes
>
>> Am 17.06.2020 um 00:33 schrieb Jonathan Gibbons <jonathan.gibbons at oracle.com>:
>>
>> Please review a small patch to modify the "Generated by javadoc" string that is
>> added to each HTML file generated by the standard doclet.
>>
>> The change is to always include the version number, so that it is always available
>> for tools analyzing the generated docs.
>>
>> The timestamp remains optional, controlled by the `-notimestamp` command-line
>> option.
>>
>> -- Jon
>>
>> JBS: https://bugs.openjdk.java.net/browse/JDK-8243113
>> Webrev: http://cr.openjdk.java.net/~jjg/8243113/webrev.00/
>>