From 85d69b8e1afe4d8c7404be2bd93df2dc876fee7b Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Mon, 2 Apr 2018 19:47:13 +0800 Subject: [PATCH] Remove Odoc.pkg_odoc This function is only used once --- src/odoc.ml | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/src/odoc.ml b/src/odoc.ml index 9ad33ca7..9096a338 100644 --- a/src/odoc.ml +++ b/src/odoc.ml @@ -391,8 +391,6 @@ module Gen (S : sig val sctx : SC.t end) = struct |> Path.Set.of_list ) - let pkg_odoc (pkg : Package.t) = Paths.odocs (Pkg pkg.name) - let entry_modules ~(pkg : Package.t) ~entry_modules_by_lib = libs_of_pkg ~pkg:pkg.name |> Lib.Set.to_list @@ -504,7 +502,7 @@ module Gen (S : sig val sctx : SC.t end) = struct SC.packages sctx |> Package.Name.Map.iter ~f:(fun (pkg : Package.t) -> SC.on_load_dir sctx - ~dir:(pkg_odoc pkg) + ~dir:(Paths.odocs (Pkg pkg.name)) ~f:(fun () -> setup_package_odoc_rules ~pkg