2 Commits

Author SHA1 Message Date
Peter Bittner
e13ba5e5ab docs: link module pages without an invalid anchor
Drops the URL fragment from links that address a `programs.foo` or
`services.foo` page. Such a path names a module rather than an option,
so the page carries no matching anchor and the fragment pointed nowhere.
Option paths keep their fragment, including the single-segment options
`lib`, `specialisation` and `uninstall`, whose name equals their page
path.

Moves the anchor handling that convert-markup.py and render-options.py
had in common into a new option_links module imported by both. The
derivations therefore pass the mdbook directory instead of a single
script file, so the import resolves.
2026-08-12 07:40:00 -05:00
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