Repository navigation

Not for merging: repeat Read the Docs builds of #44 - #45

Closed

jtravs wants to merge 6 commits into

mainfrom

test/rtd-repeat

Closed

Not for merging: repeat Read the Docs builds of #44#45
jtravs wants to merge 6 commits into
mainfrom
test/rtd-repeat

Commits on Nov 4, 2026
- Docs: keep the source record pages out of the navigation tree
  
  jtravs
  and
  claude
  committed
  0b747d9
- Repeat build 1 of the docs navigation fix [skip ci]
  jtravs
  committed
  d2988a5
- Repeat build 2 of the docs navigation fix [skip ci]
  jtravs
  committed
  5148912
- Repeat build 3 of the docs navigation fix [skip ci]
  jtravs
  committed
  495738b
- Repeat build 4 of the docs navigation fix [skip ci]
  jtravs
  committed
  3727b72
- Repeat build 5 of the docs navigation fix [skip ci]
  jtravs
  committed
  f24b553