Skip to content

Commit

Permalink
Remove extra doc layer in "partial" dir
Browse files Browse the repository at this point in the history
  • Loading branch information
panglesd authored and jonludlam committed Nov 8, 2024
1 parent 3e137a1 commit a1c2d2e
Showing 1 changed file with 1 addition and 3 deletions.
4 changes: 1 addition & 3 deletions src/driver/odoc_driver.ml
Original file line number Diff line number Diff line change
Expand Up @@ -614,9 +614,7 @@ let run libs verbose packages_dir odoc_dir odocl_dir index_dir mld_dir html_dir
if voodoo then
match Util.StringMap.to_list all with
| [ (_, p) ] ->
(* TODO: check whether the [doc] layer should be removed (due to new
hierarchy) or if this is something voodoo rely on *)
let output_path = Fpath.(odoc_dir // p.pkg_dir / "doc") in
let output_path = Fpath.(odoc_dir // p.pkg_dir) in
Some output_path
| _ -> failwith "Error, expecting singleton library in voodoo mode"
else None
Expand Down

0 comments on commit a1c2d2e

Please sign in to comment.