From 785294a853cd126c1bfe725c616f1194e6068f27 Mon Sep 17 00:00:00 2001 From: Jon Ludlam Date: Sun, 15 Dec 2024 16:53:42 +0000 Subject: [PATCH] Formatting --- doc/dune | 4 +++- src/driver/landing_pages.ml | 3 ++- src/driver/odoc_units_of.ml | 5 +++-- 3 files changed, 8 insertions(+), 4 deletions(-) diff --git a/doc/dune b/doc/dune index 2d380e120b..417271a65d 100644 --- a/doc/dune +++ b/doc/dune @@ -50,5 +50,7 @@ (install (section doc) - (files odoc-config.sexp (odoc_logo_placeholder.jpg as odoc-pages/odoc_logo_placeholder.jpg)) + (files + odoc-config.sexp + (odoc_logo_placeholder.jpg as odoc-pages/odoc_logo_placeholder.jpg)) (package odoc)) diff --git a/src/driver/landing_pages.ml b/src/driver/landing_pages.ml index f0bea4578c..7258e77366 100644 --- a/src/driver/landing_pages.ml +++ b/src/driver/landing_pages.ml @@ -103,7 +103,8 @@ let package_list ~dirs all = in fpf ppf "{0 List of all packages}@\n"; let print_pkg pkg = - if pkg.selected then fpf ppf "- {{:%s/index.html}%s}@\n" pkg.name pkg.name in + if pkg.selected then fpf ppf "- {{:%s/index.html}%s}@\n" pkg.name pkg.name + in List.iter print_pkg sorted_packages in let content = content all in diff --git a/src/driver/odoc_units_of.ml b/src/driver/odoc_units_of.ml index 2269715a85..28a3317fac 100644 --- a/src/driver/odoc_units_of.ml +++ b/src/driver/odoc_units_of.ml @@ -200,7 +200,7 @@ let packages ~dirs ~extra_paths ~remap (pkgs : Packages.t list) : t list = in let index = index_of pkg in let units = List.concat_map (of_module pkg lib lib_deps) lib.modules in - if pkg.selected then + if pkg.selected then let landing_page :> t = Landing_pages.library ~dirs ~pkg ~index lib in landing_page :: units else units @@ -284,7 +284,8 @@ let packages ~dirs ~extra_paths ~remap (pkgs : Packages.t list) : t list = | Some { mip_src_info = Some _; _ } -> true | _ -> false) lib.Packages.modules) - pkg.libraries && pkg.selected + pkg.libraries + && pkg.selected then let index = index_of pkg in [ Landing_pages.src ~dirs ~pkg ~index ]