From aea0131b112c8c9e880024dcc2a9991e04f47902 Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Sat, 24 Mar 2018 00:34:13 +0800 Subject: [PATCH] Don't pass library include flags to odoc We should pass directories where we store .odoc files instead --- src/odoc.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/odoc.ml b/src/odoc.ml index 9878b3b9..13c06088 100644 --- a/src/odoc.ml +++ b/src/odoc.ml @@ -203,7 +203,7 @@ module Gen (S : sig val sctx : SC.t end) = struct Build.memoize "includes" (requires >>> Dep.deps - >>^ Lib.L.include_flags ~stdlib_dir:context.stdlib_dir) + >>^ odoc_include_flags) in let modules_and_odoc_files = List.map (Module.Name.Map.values modules) ~f:(