Remove unused html_alias field
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
This commit is contained in:
parent
20d9b509a1
commit
794b2c696b
|
@ -28,7 +28,6 @@ type odoc =
|
||||||
{ odoc_input: Path.t
|
{ odoc_input: Path.t
|
||||||
; html_dir: Path.t
|
; html_dir: Path.t
|
||||||
; html_file: Path.t
|
; html_file: Path.t
|
||||||
; html_alias: Build_system.Alias.t
|
|
||||||
; typ: typ
|
; typ: typ
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -272,7 +271,6 @@ module Gen (S : sig val sctx : SC.t end) = struct
|
||||||
pkg_libs
|
pkg_libs
|
||||||
|
|
||||||
let create_odoc ~target odoc_input =
|
let create_odoc ~target odoc_input =
|
||||||
let html_alias = Dep.html_alias target in
|
|
||||||
let html_base = Paths.html target in
|
let html_base = Paths.html target in
|
||||||
match target with
|
match target with
|
||||||
| Lib _ ->
|
| Lib _ ->
|
||||||
|
@ -286,7 +284,6 @@ module Gen (S : sig val sctx : SC.t end) = struct
|
||||||
; html_dir
|
; html_dir
|
||||||
; html_file = html_dir ++ "index.html"
|
; html_file = html_dir ++ "index.html"
|
||||||
; typ = Module
|
; typ = Module
|
||||||
; html_alias
|
|
||||||
}
|
}
|
||||||
| Pkg _ ->
|
| Pkg _ ->
|
||||||
{ odoc_input
|
{ odoc_input
|
||||||
|
@ -298,7 +295,6 @@ module Gen (S : sig val sctx : SC.t end) = struct
|
||||||
|> Option.value_exn
|
|> Option.value_exn
|
||||||
)
|
)
|
||||||
; typ = Mld
|
; typ = Mld
|
||||||
; html_alias
|
|
||||||
}
|
}
|
||||||
|
|
||||||
let static_html = [ css_file; toplevel_index ]
|
let static_html = [ css_file; toplevel_index ]
|
||||||
|
|
Loading…
Reference in New Issue