Represent sidebar TOC as a Tree#1232

Merged

jonludlam merged 11 commits intoocaml:masterfrom

gpetiot:toc-tree

Nov 8, 2024

Commits on Nov 5, 2024

Represent sidebar TOC as a Tree

gpetiot
and
panglesd
committed
Simplify Toc.of_lang

gpetiot
and
panglesd
committed
Simplify Toc.of_lang

gpetiot
and
panglesd
committed
Move relevant files to index/

gpetiot
and
panglesd
committed
Handle occurrences in Json_search.index

gpetiot
and
panglesd
committed
Move Sidebar.Toc into Page_hierarchy

gpetiot
and
panglesd
committed
Toc.t handles Url.t instead of Url.Path.t

gpetiot
and
panglesd
committed
Move Sidebar types into Odoc_index and rename Toc.of_lang into Toc_of_page_hierarchy

gpetiot
and
panglesd
committed
Pass the sidebar to Rendering

gpetiot
and
panglesd
committed
Simplify Toc.of_page_hierarchy

gpetiot
and
panglesd
committed

Commits on Nov 7, 2024

Refactor: avoid recomputing url in `sidebar_toc_entry`
panglesd
committed