package b0
Software construction and deployment kit
Install
dune-project
Dependency
Authors
Maintainers
Sources
b0-0.0.6.tbz
sha512=e9aa779e66c08fc763019f16d4706f465d16c05d6400b58fbd0313317ef33ddea51952e2b058db28e65f7ddb7012f328c8bf02d8f1da17bb543348541a2587f0
doc/b0.kit/B0_odoc/Html/index.html
Module B0_odoc.Html
Source
Generate HTML from .odoc
files.
HTML generation
HTML generation dependencies, for compiling a package (sic) to HTML files.
HTML generation writes, files written by generating HTML files from an .odoc
file.
Source
val cmd :
?hidden:bool ->
?theme_uri:string ->
B0_memo.t ->
odoc_deps:B0_std.Fpath.t list ->
writes:B0_std.Fpath.t list ->
B0_std.Fpath.t ->
to_dir:B0_std.Fpath.t ->
unit
cmd 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 theodoc
file, they can be obtained by resolving the result ofDep
on the package odoc directory ofodoc
.writes
specifies the writes of the command, they can be obtained viaWrites
.theme_uri
andhidden
are the correspondingodoc
options. Seeodoc html --help
.
Convenience
Source
val write :
B0_memo.t ->
?theme_uri:string ->
html_dir:B0_std.Fpath.t ->
odoc_deps:B0_std.Fpath.t list ->
B0_std.Fpath.t ->
unit
write 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
.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page