Migrate docs to Antora + publish Dokka as sibling /api/ (#494)#495

Merged

michalharakal merged 6 commits intodevelopfrom

feature/494-antora-migration

Apr 13, 2026

Commits on Apr 13, 2026

Scaffold Antora site (#494 step 1)

michalharakal
and
claude
committed
Migrate docs to Antora Divio layout (#494 step 2)

michalharakal
and
claude
committed
Repoint ops-docs generator into Antora module (#494 step 3)

michalharakal
and
claude
committed
Emit cross-backend Operator Coverage Matrix (#494 step 4)

michalharakal
and
claude
committed
Add docs workflow, delete dokka-pages.yml (#494 step 5)

michalharakal
and
claude
committed
Wire Dokka API bundle into Antora site (#494 step 6)

michalharakal
and
claude
committed