Deploy JavaDoc with Antora #2243

Closed

Assignees

Labels

type: enhancement

Milestone

opened

on Nov 19, 2025

It would be nice for the JavaDoc to ship with the reference website, including having a link in the navigation to reach it.

Metadata

Assignees

jzheaux

Labels

type: enhancement

Type

No type

Projects

No projects

Milestone

1.4.7

Relationships

None yet

Development

No branches or pull requests