Add Antora+MrDocs documentation pipeline#91

Open

steve-downey wants to merge 52 commits into

mainfrom

docs/antora-migration

Commits on May 6, 2026

Migrate documentation from Doxygen to Antora + MrDocs

steve-downey
and
claude
committed
Add Makefile targets for installing and updating docs tools

steve-downey
and
claude
committed
Add clean-docs and clean-mrdocs targets hooked to clean

steve-downey
and
claude
committed
Fix MrDocs download URL format

steve-downey
and
claude
committed
Fix compiler detection and MrDocs integration for docs build

steve-downey
and
claude
committed
Fix broken xrefs and remove redundant exclude-symbols entry

steve-downey
and
claude
committed
Add attribution comments and document known extension/MrDocs compatibility issue

steve-downey
and
claude
committed
Use stamp file and generated dep file for docs target

steve-downey
and
claude
committed
Set SHELL := /bin/bash explicitly

steve-downey
and
claude
committed
Rename stamp file to .docs.stamp for clarity

steve-downey
and
claude
committed
Find bash via which rather than hardcoding /bin/bash

steve-downey
and
claude
committed
Use command -v to locate bash, not which

steve-downey
and
claude
committed
Move docs output into toolchain build directory

steve-downey
and
claude
committed
Refactor: extract long MrDocs install recipe into etc/install-mrdocs.sh

steve-downey
and
claude
committed
Bump the github-actions group with 7 updates

dependabot[bot]
authored and
steve-downey
committed
Bump github/codeql-action in the github-owned-actions group

dependabot[bot]
authored and
steve-downey
committed
Fix header navbar and document version dropdown support

steve-downey
and
claude
committed

Commits on May 8, 2026

Commits on May 9, 2026

Commits on May 11, 2026