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