Austin Horstman 5bf17310cf docs: preserve legacy manual links ...

Generate XHTML-safe redirect shims that route old single-page manual anchors to their mdBook pages.

2026-06-21 22:02:16 -05:00

..

convert-markup.py

docs: build manual with mdbook

2026-06-19 10:00:25 -05:00

legacy-redirects.py

docs: preserve legacy manual links

2026-06-21 22:02:16 -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