[Rev 01] RFR: Updated intro
Jesper Wilhelmsson
jwilhelm at openjdk.java.net
Tue Jun 2 21:07:11 UTC 2020
On Tue, 2 Jun 2020 20:39:58 GMT, Magnus Ihse Bursie <ihse at openjdk.org> wrote:
>> Jesper Wilhelmsson has updated the pull request incrementally with one additional commit since the last revision:
>>
>> Changes after review
>
> src/index.md line 8:
>
>> 7: * [Introduction](intro.html)
>> 8: * [Maintenance](intro.html#maintenance)
>> 9: * [Process Workflow](processWorkflow.html)
>
> Don't think this should be here anymore.
Doh.. Fixed, and fixed again. I wrote a script to generate the index automatically at make time, that should avoid
these issues in the future. A few corner cases that needs to be fixed before I push that though.
-------------
PR: https://git.openjdk.java.net/guide/pull/15
More information about the guide-dev
mailing list