Something went wrong. Try again.
Odoc docs
Something went wrong. Try again.
complete: descend nested directories in path completion master
Path completion handled only `/` (root names) and `/root/` (one level); a deeper path like `/odoc/deprecated/` fell through to the empty case. Generalise it: the first segment resolves to its root directory, any further segments are literal sub-directories beneath it, and the final directory's entries (units, pages, sub-dirs) are offered. So `/odoc/deprecated/` now completes the pages in odoc/odoc/deprecated/. Current-package (`//…`) and relative (`./…`) forms still return nothing. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Author Jon Ludlam's Agent Co-author Claude Opus 4.8 (1M context) Committer Jon Ludlam Date (Jun 23, 2026, 1:30 PM UTC) Commit 44e3815a 44e3815a0fe55a62e031aa4d3c11b3da89e2427c Parent 70681adf 70681adf4c21d14cb44f5ac6cc850a04146e4708