Generate HTML from .odoc files.
module Writes : sig ... endHTML generation writes, files written by generating HTML files from an .odoc file.
val cmd :
?hidden:bool ->
?theme_uri:string ->
B00.Memo.t ->
odoc_deps:B00_std.Fpath.t list ->
writes:B00_std.Fpath.t list ->
B00_std.Fpath.t ->
to_dir:B00_std.Fpath.t ->
unitcmd m ~hidden ~theme_uri ~odoc_deps ~writes odoc ~to_dir generates HTML for the .odoc file odoc to output directory to_dir with the odoc html command.
odoc_deps are the .odoc file dependencies for the odoc file, they can be obtained by resolving the result of Dep on the package odoc directory of odoc.writes specifies the writes of the command, they can be obtained via Writes.theme_uri and hidden are the corresponding odoc options. See odoc html --help.val write :
B00.Memo.t ->
?theme_uri:string ->
html_dir:B00_std.Fpath.t ->
odoc_deps:B00_std.Fpath.t list ->
B00_std.Fpath.t ->
unitwrite m ~theme_uri ~html_dir ~odoc_deps odoc writes the html for odoc in html_dir assuming it depends on the odoc_files in odoc_deps.