Module Odoc_odocSource

Sourcemodule Compile : sig ... end
Sourcemodule Css_file : sig ... end
Sourcemodule Depends : sig ... end

Computes the dependencies required for each step of the pipeline to work correctly on a given input.

Sourcemodule Fs : sig ... end

Utilities to manipulate files and paths.

Sourcemodule Highlight_js : sig ... end
Sourcemodule Html_fragment : sig ... end

Produces html fragment files from a mld file.

Sourcemodule Html_page : sig ... end
Sourcemodule Latex : sig ... end
Sourcemodule Man_page : sig ... end
Sourcemodule Odoc_file : sig ... end

Load and save .odoc and .odocl files.

Sourcemodule Or_error : sig ... end
Sourcemodule Rendering : sig ... end
Sourcemodule Resolver : sig ... end

Management of the documentation environment.

Sourcemodule Support_files : sig ... end

Copies odoc's support files (default theme and JS files) to a specified location.

Sourcemodule Url : sig ... end