Austin Horstman 6aaf73d18d docs: build manual with mdbook ... Switch the HTML manual renderer to mdBook while preserving existing docs package outputs and legacy redirect paths.		2026-06-19 10:00:25 -05:00
..
convert-markup.py	docs: build manual with mdbook	2026-06-19 10:00:25 -05:00
options.nix	docs: build manual with mdbook	2026-06-19 10:00:25 -05:00
render-options.py	docs: build manual with mdbook	2026-06-19 10:00:25 -05:00
substitute-summary.py	docs: build manual with mdbook	2026-06-19 10:00:25 -05:00