diff --git a/src/document/sidebar.ml b/src/document/sidebar.ml index f9bb154814..faf22d80d2 100644 --- a/src/document/sidebar.ml +++ b/src/document/sidebar.ml @@ -101,7 +101,8 @@ end = struct in let content = match entry.kind with - | Page _ -> + | Page { short_title = Some st; _ } -> Comment.link_content st + | Page { short_title = None; _ } -> let title = let open Odoc_model in match Comment.find_zero_heading entry.doc with