Skip to content

Frontend: fix footnotes and complete-book generation - #1394

Merged
gusthoff merged 5 commits into
AdaCore:mainfrom
gusthoff:dev/topic/infrastructure/sphinx/footnotes-and-book-build-fixes/2026-10-24
Oct 24, 2026
Merged

gusthoff merged 5 commits into
AdaCore:mainfrom
gusthoff:dev/topic/infrastructure/sphinx/footnotes-and-book-build-fixes/2026-10-24