Repository navigation

chore: upgrade docs tooling to latest stable; hide badges from the man page - #498

Merged

nandgator merged 2 commits into

docs-tooling-upgrade

Oct 10, 2026

Merged

chore: upgrade docs tooling to latest stable; hide badges from the man page#498
nandgator merged 2 commits into
masterfrom
docs-tooling-upgrade

Commits on Oct 10, 2026
- chore: loosen docs tooling bounds, rename mkdocstrings 'import' to 'inventories'
  nandgator
  committed
  fc11996
- docs: hide badges from the man page; regenerate docs with current tooling
  nandgator
  committed
  5985f51