On Wed, 21 May 2025 17:58:30 GMT, Mark Reinhold <m...@openjdk.org> wrote:

> Writing this up is good, but I think it belongs in `doc` rather than 
> `doc/ref`.

I agree. It does not feel substantially different from the other "process" 
documents we already have in `doc`. (That would also take care of generation of 
.html files by the existing code.)

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

PR Comment: https://git.openjdk.org/jdk/pull/25317#issuecomment-2905334220

Reply via email to