Module Html.Writes

HTML generation writes, files written by generating HTML files from an .odoc file.

As determined by the odoc html-targets command.

HTML generation file writes

val write : B0_memo.t -> odoc_deps:B0_std.Fpath.t list -> B0_std.Fpath.t -> to_dir:B0_std.Fpath.t -> o:B0_std.Fpath.t -> unit

write m ~odoc_deps odoc ~to_dir ~o writes to o the files written by an HTML generation of the .odoc file odoc to to_dir.

  • 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.

read m file reads the result of a Writes.write from file and continues with the files that will be written.