Skip to content

Commit

Permalink
Remove links from sidebar content representation
Browse files Browse the repository at this point in the history
  • Loading branch information
jonludlam committed Nov 25, 2024
1 parent 824bd55 commit 36c3989
Showing 1 changed file with 4 additions and 1 deletion.
5 changes: 4 additions & 1 deletion src/odoc/sidebar.ml
Original file line number Diff line number Diff line change
Expand Up @@ -22,7 +22,10 @@ let toc_to_json ({ url; content = inline; _ } : Odoc_document.Sidebar.entry) :
in
let inline =
let inline =
Odoc_html.Generator.inline ~config ~xref_base_uri:"" [ inline ]
let unwrapped = match inline.desc with
| Link x -> List.hd x.content
| _x -> inline in
Odoc_html.Generator.inline ~config ~xref_base_uri:"" [ unwrapped ]
in
let inline =
String.concat ""
Expand Down

0 comments on commit 36c3989

Please sign in to comment.