Repository navigation

Automatically exclude Ford directories from `pages` - #721

Merged

ZedThree merged 3 commits into

exclude-dirs-pagetree

Feb 5, 2026

Merged

Automatically exclude Ford directories from `pages`#721
ZedThree merged 3 commits into
masterfrom
exclude-dirs-pagetree

Commits on Feb 5, 2026
- Automatically exclude Ford directories from `pages`
  ZedThree
  committed
  4070271
- [skip ci] Apply black changes
  ZedThree
  committed
  55a8e1c
- Don't skip Ford directories under `page_dir`, just don't warn
  ZedThree
  committed
  b7c25a0