1ODOC(1)                           Odoc Manual                          ODOC(1)
2
3
4

NAME

6       odoc
7

SYNOPSIS

9       odoc COMMAND ...
10

COMMANDS

12       compile
13           Compile a cmti, cmt, cmi or mld file to an odoc file.
14
15       compile-deps
16           List units (with their digest) which needs to be compiled in order
17           to compile this one. The unit itself and its digest is also
18           reported in the output.
19
20       compile-targets
21           TODO: Fill in.
22
23       css DEPRECATED: Use `odoc support-files' to copy the CSS file for the
24           default theme.
25
26       html
27           Generates an html file from an odoc one
28
29       html-deps
30           lists the packages which need to be in odoc's load path to process
31           html from the .odoc files in the given directory
32
33       html-fragment
34           Generates an html fragment file from an mld one
35
36       html-targets
37           TODO: Fill in.
38
39       support-files
40           Copy the support files (e.g. default theme, JavaScript files) to
41           the output directory.
42
43       support-files-targets
44           Lists the names of the files that 'odoc support-files' outputs.
45

OPTIONS

47       --help[=FMT] (default=auto)
48           Show this help in format FMT. The value FMT must be one of `auto',
49           `pager', `groff' or `plain'. With `auto', the format is `pager` or
50           `plain' whenever the TERM env var is `dumb' or undefined.
51
52       --version
53           Show version information.
54
55
56
57Odoc 11VERSION11                                                       ODOC(1)
Impressum