Skip to content

Commit

Permalink
Fix duplicate indexing
Browse files Browse the repository at this point in the history
  • Loading branch information
panglesd committed Nov 8, 2024
1 parent 271a4e4 commit 8b39720
Showing 1 changed file with 0 additions and 14 deletions.
14 changes: 0 additions & 14 deletions src/odoc/indexing.ml
Original file line number Diff line number Diff line change
Expand Up @@ -140,8 +140,6 @@ let compile out_format ~output ~warnings_options ~occurrences ~lib_roots
})
~open_modules:[]
in
(* if files = [] && then Error (`Msg "No .odocl files were included") *)
(* else *)
let pages =
List.map
(fun (page_root, _) ->
Expand Down Expand Up @@ -180,18 +178,6 @@ let compile out_format ~output ~warnings_options ~occurrences ~lib_roots
{ Odoc_index.name = library; units })
lib_roots
in
let includes_rec =
List.rev_append (List.map snd page_roots) (List.map snd lib_roots)
in
let files =
List.rev_append files
(includes_rec
|> List.map (fun include_rec ->
Fs.Directory.fold_files_rec ~ext:"odocl"
(fun files file -> file :: files)
[] include_rec)
|> List.concat)
in
let content = { Odoc_index.pages; libs } in
match out_format with
| `JSON -> compile_to_json ~output ~occurrences files
Expand Down

0 comments on commit 8b39720

Please sign in to comment.