On Tue, 22 Sep 2020 17:24:19 GMT, Jonathan Gibbons <j...@openjdk.org> wrote:
>> Hannes Wallnöfer has updated the pull request incrementally with three
>> additional commits since the last revision:
>>
>> - Merge pull request #1 from lahodaj/JDK-8216497
>>
>> Automatically generate the elements-list data from the ct.sym for
>> releases 11+, including the current release under
>> development
>> - Generating current release list for javadoc; using hardcoded lists for
>> versions < 11
>> - Attempting to (mostly) generate the javadoc release manifests from ct.sym
>> historical data.
>
> src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/util/Extern.java
> line 323:
>
>> 321: props.load(inputStream);
>> 322: }
>> 323: url = props.getProperty("doclet.platform.docs." + version);
>
> Similar to other file-or-url arguments: good!
As a possibly-later cleanup, should we have a single utility method somewhere
(in this class) to open a stream on a
file-or-url?
-------------
PR: https://git.openjdk.java.net/jdk/pull/171
