Skip to content

Commit

Permalink
Revert "Driver: Use a sidebar root for pages, and one per library"
Browse files Browse the repository at this point in the history
This reverts commit 448e155.
  • Loading branch information
panglesd committed Nov 27, 2024
1 parent 1a49190 commit 2a70445
Showing 1 changed file with 1 addition and 6 deletions.
7 changes: 1 addition & 6 deletions src/driver/odoc_units_of.ml
Original file line number Diff line number Diff line change
Expand Up @@ -78,12 +78,7 @@ let packages ~dirs ~extra_paths (pkgs : Packages.t list) : t list =
in

let index_of pkg =
let roots =
Fpath.( // ) odocl_dir (doc_dir pkg)
:: List.map
(fun lib -> Fpath.( // ) odocl_dir (lib_dir pkg lib))
pkg.libraries
in
let roots = [ Fpath.( // ) odocl_dir (doc_dir pkg) ] in
let output_file = Fpath.(index_dir / pkg.name / Odoc.index_filename) in
let sidebar =
let output_file = Fpath.(index_dir / pkg.name / Odoc.sidebar_filename) in
Expand Down

0 comments on commit 2a70445

Please sign in to comment.