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

Conversation

@gusthoff

Copy link
Copy Markdown
Collaborator

Reject footnote references without definitions, add the railway
foreword's missing bibliography, and include the checker in coverage.
Correct complete-book output preparation and include published booklets
in complete PDFs and EPUB navigation.

Validation: HTML, LaTeX and EPUB output checks.

Co-Authored-By: Codex noreply@openai.com

gusthoff and others added 5 commits October 24, 2026 19:46
Reject references whose definitions are absent from the rendered
document, including bibliographic footnotes removed by conditions.

Validation: footnote output probes in HTML, LaTeX and EPUB.

Co-Authored-By: Codex <noreply@openai.com>
Measure `footnote_checks` alongside the existing parser modules when
running `test_parser`.

Validation: coverage source list reviewed.

Co-Authored-By: Codex <noreply@openai.com>
Call the defined preparation helpers before building complete books
to create destination directories and clear stale EPUB staging files.

Validation: fresh and previously populated output probes.

Co-Authored-By: Codex <noreply@openai.com>
Remove the unpublished-only condition from the booklet toctree so
complete PDFs include the booklets and EPUB navigation lists them.

Validation: filtered and unfiltered contents builds.

Co-Authored-By: Codex <noreply@openai.com>
Provide the footnote definition for the railway foreword's existing
bibliographic citation.

Validation: citation rendering cases in HTML, LaTeX and EPUB.

Co-Authored-By: Codex <noreply@openai.com>
@gusthoff
gusthoff merged commit 20a6182 into AdaCore:main Oct 24, 2026
8 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant