From 794b2c696b7116c1f352f000b33e0fbe6acf77f4 Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Thu, 7 Jun 2018 13:46:50 +0700 Subject: [PATCH] Remove unused html_alias field Signed-off-by: Rudi Grinberg --- src/odoc.ml | 4 ---- 1 file changed, 4 deletions(-) diff --git a/src/odoc.ml b/src/odoc.ml index ee218b60..20065b37 100644 --- a/src/odoc.ml +++ b/src/odoc.ml @@ -28,7 +28,6 @@ type odoc = { odoc_input: Path.t ; html_dir: Path.t ; html_file: Path.t - ; html_alias: Build_system.Alias.t ; typ: typ } @@ -272,7 +271,6 @@ module Gen (S : sig val sctx : SC.t end) = struct pkg_libs let create_odoc ~target odoc_input = - let html_alias = Dep.html_alias target in let html_base = Paths.html target in match target with | Lib _ -> @@ -286,7 +284,6 @@ module Gen (S : sig val sctx : SC.t end) = struct ; html_dir ; html_file = html_dir ++ "index.html" ; typ = Module - ; html_alias } | Pkg _ -> { odoc_input @@ -298,7 +295,6 @@ module Gen (S : sig val sctx : SC.t end) = struct |> Option.value_exn ) ; typ = Mld - ; html_alias } let static_html = [ css_file; toplevel_index ]