Skip to content

Check the manual's cross-references in CI - #4191

Open
bbatsov wants to merge 3 commits into
masterfrom
docs-xref-check
Open

bbatsov wants to merge 3 commits into
masterfrom
docs-xref-check

Conversation

@bbatsov

@bbatsov bbatsov commented Sep 10, 2026

Copy link
Copy Markdown
Member

Adds a small checker for the manual's xref: and image: targets, wired into a Docs workflow, plus Makefile targets mirroring the CI steps (docs-check, test-ts, test-under-ts). On master it reports exactly one error, the tap page's xref to a nonexistent inspector page that #4183 fixes, and eight pre-existing fragment mismatches as warnings.

A broken xref in the tap page shipped in 2.0.0 and went unnoticed for two
months, because nothing verifies the Antora sources. This adds a small
dependency-free checker that walks the pages and nav, errors on xrefs to
missing pages and on missing images, and warns on fragments it can't find
(the auto-generated section ids are approximated, and a handful of
existing fragments already don't match). A Docs workflow runs it on
pushes to master and on pull requests that touch the manual.
Add docs-check, test-ts and test-under-ts so the checks CI runs can be
reproduced locally without reading the workflow, list test in .PHONY,
and byte-compile before running the unit tests in the default target.
The playbook sets idprefix to nothing and idseparator to a dash, so the
checker approximated auto ids with the wrong shape and warned about eight
fragments that resolve fine. With the site's settings it warns about the
two that are actually broken.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant