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

Author: panglesd

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
             | _ ->

src/driver/odoc_driver.ml

@@ -258,7 +258,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 } ->