Sidebar: Use a better name when no zero title are there

jonludlam · Nov 21, 2024 · a8552f9 · a8552f9
1 parent 6faef56
commit a8552f9
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 2 deletions.
diff --git a/src/document/sidebar.ml b/src/document/sidebar.ml
@@ -86,7 +86,16 @@ end = struct
                   match Comment.find_zero_heading entry.doc with
                   | Some t -> t
                   | None ->
-                      Location_.[ at (span []) (`Word (Id.name entry.id)) ]
+                      let name =
+                        match entry.id.iv with
+                        | `LeafPage (Some parent, name)
+                          when String.equal
+                                 (Names.PageName.to_string name)
+                                 "index" ->
+                            Id.name parent
+                        | _ -> Id.name entry.id
+                      in
+                      Location_.[ at (span []) (`Word name) ]
                 in
                 Comment.link_content title
             | _ ->

diff --git a/src/driver/odoc_driver.ml b/src/driver/odoc_driver.ml
@@ -260,7 +260,7 @@ let run mode
   (* Grep log index and co commands *)
   grep_log `Count_occurrences index_grep;
   grep_log `Count_occurrences index_grep;
-  grep_log `Index (* index_grep *) (Some "");
+  grep_log `Index index_grep;
 
   List.iter
     (fun { Cmd_outputs.log_dest; prefix; run } ->