You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Sections are used to group commands by generating doc sections. The TOC
looks more readable. The first section is also nicer with some
separations between the list items.
Copy file name to clipboardExpand all lines: doc/manpage.mld
+47-22Lines changed: 47 additions & 22 deletions
Original file line number
Diff line number
Diff line change
@@ -2,12 +2,21 @@
2
2
3
3
{1 odoc}
4
4
Odoc is made of several sub-commands.
5
+
6
+
Compilation pipeline:
7
+
5
8
- {!"odoc-compile"} Compile a .cmti, .cmt, .cmi or .mld file to an .odoc file.
6
9
- {!"odoc-html-generate"} Generate html files from a .odocl.
7
10
- {!"odoc-link"} Second stage of compilation. Link a .odoc into a .odocl.
8
11
- {!"odoc-support-files"} Copy the support files (e.g. default theme, JavaScript files) to the output directory.
12
+
13
+
Alternative generators:
14
+
9
15
- {!"odoc-latex-generate"} Generate latex files from a .odocl.
10
16
- {!"odoc-man-generate"} Generate man files from a .odocl.
17
+
18
+
Scripting:
19
+
11
20
- {!"odoc-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. Dependencies between compile steps are the same as when compiling the ocaml modules.
12
21
- {!"odoc-compile-targets"} Print the name of the file produced by compile. If -o is passed, the same path is printed but error checking is performed.
13
22
- {!"odoc-errors"} Print errors that occurred while compiling or linking.
@@ -17,15 +26,23 @@ Odoc is made of several sub-commands.
17
26
- {!"odoc-latex-url"} Resolve a reference and output its corresponding url.
18
27
- {!"odoc-man-targets"} Print the files that would be generated by man-generate.
19
28
- {!"odoc-support-files-targets"} Lists the names of the files that odoc support-files outputs.
29
+
30
+
Legacy pipeline:
31
+
20
32
- {!"odoc-html"} Render html files from a .odoc. link then html-generate should be used instead.
21
33
- {!"odoc-html-fragment"} Generates an html fragment file from an mld one.
22
34
- {!"odoc-latex"} Render latex files from a .odoc. link then latex-generate should be used instead.
23
35
- {!"odoc-link-deps"} Lists a subset of the packages and modules which need to be in odoc's load path to link the odoc files in the given directory. Additional packages may be required to resolve all references.
24
36
- {!"odoc-man"} Render man files from a .odoc. link then man-generate should be used instead.
37
+
38
+
Deprecated:
39
+
25
40
- {!"odoc-css"} DEPRECATED: Use odoc support-files to copy the CSS file for the default theme.
26
41
- {!"odoc-html-deps"} DEPRECATED: alias for link-deps
0 commit comments