RFR: 8345136: Update JDK_DOCS property to point to JDK 23 docs [v2]

Tue Dec 17 19:29:17 UTC 2024

On Tue, 17 Dec 2024 19:06:29 GMT, Andy Goryachev <angorya at openjdk.org> wrote:

>> Kevin Rushforth has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   Move jdk.docs.version before jfx.build.jdk.version
>
> build.properties line 92:
> 
>> 90: jfx.build.jdk.version=23
>> 91: jfx.build.jdk.buildnum=37
>> 92: jdk.docs.version=23
> 
> very, very minor: maybe move this var to L95 so as not to break `jfx.build.jdk` block?
> 
> (and also text in L76)

Good idea. Done.

-------------

PR Review Comment: https://git.openjdk.org/jfx/pull/1663#discussion_r1889097514