package b0

  1. Overview
  2. Docs
On This Page
  1. Odoc

Module B0_odocSource

odoc support.

Note. This models the odoc tool and its invocations. Dependecy resolution is not part of the module yet we could try to abstract it via a few functions and provide a full driver story.

Odoc

tool is the odoc tool.

Sourcemodule Compile : sig ... end

Compiling .cmi, .cmti, .cmt and .mld files to .odoc files.

Sourcemodule Html : sig ... end

Generate HTML from .odoc files.

Sourcemodule Html_fragment : sig ... end

Generate HTML fragments from .mld files.

Sourcemodule Support_files : sig ... end

Generate support files for the HTML.

Sourcemodule Theme : sig ... end

Odoc theme support.