compile
Compile a cmti, cmt, cmi or mld file to an odoc file.
compile-deps
List units (with their digest) which needs to be compiled in order to compile this one. The unit
itself and its digest is also reported in the output.
compile-targets
TODO: Fill in.
css DEPRECATED: Use `odoc support-files' to copy the CSS file for the default theme.
html
Generates an html file from an odoc one
html-deps
lists the packages which need to be in odoc's load path to process html from the .odoc files in the
given directory
html-fragment
Generates an html fragment file from an mld one
html-targets
TODO: Fill in.
support-files
Copy the support files (e.g. default theme, JavaScript files) to the output directory.
support-files-targets
Lists the names of the files that 'odoc support-files' outputs.