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
Copy file name to clipboardExpand all lines: doc/manpage.mld
+34-34
Original file line number
Diff line number
Diff line change
@@ -18,6 +18,7 @@ Alternative generators:
18
18
Scripting:
19
19
20
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.
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.
21
22
- {!"odoc-errors"} Print errors that occurred while compiling or linking.
22
23
- {!"odoc-html-targets"} Print the files that would be generated by html-generate.
23
24
- {!"odoc-html-url"} Resolve a reference and output its corresponding url.
@@ -28,7 +29,6 @@ Scripting:
28
29
29
30
Legacy pipeline:
30
31
31
-
- {!"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.
32
32
- {!"odoc-html"} Render html files from a .odoc. link then html-generate should be used instead.
33
33
- {!"odoc-html-fragment"} Generates an html fragment file from an mld one.
34
34
- {!"odoc-latex"} Render latex files from a .odoc. link then latex-generate should be used instead.
@@ -431,6 +431,39 @@ OPTIONS
431
431
432
432
]}
433
433
434
+
{2 odoc compile-targets}
435
+
436
+
{@man[
437
+
NAME
438
+
odoc-compile-targets - Print the name of the file produced by compile.
439
+
If -o is passed, the same path is printed but error checking is
440
+
performed.
441
+
442
+
SYNOPSIS
443
+
odoc compile-targets [OPTION]… FILE
444
+
445
+
ARGUMENTS
446
+
-o PATH
447
+
Output file path. Non-existing intermediate directories are
448
+
created. If absent outputs a BASE.odoc file in the same directory
449
+
as the input file where BASE is the basename of the input file.
450
+
For mld files the "page-" prefix will be added if not already
451
+
present in the input basename.
452
+
453
+
FILE (required)
454
+
Input .cmti, .cmt, .cmi or .mld file.
455
+
456
+
OPTIONS
457
+
--help[=FMT] (default=auto)
458
+
Show this help in format FMT. The value FMT must be one of auto,
459
+
pager, groff or plain. With auto, the format is pager or plain
460
+
whenever the TERM env var is dumb or undefined.
461
+
462
+
--version
463
+
Show version information.
464
+
465
+
]}
466
+
434
467
{2 odoc errors}
435
468
436
469
{@man[
@@ -710,39 +743,6 @@ OPTIONS
710
743
711
744
{1 Legacy pipeline}
712
745
713
-
{2 odoc compile-targets}
714
-
715
-
{@man[
716
-
NAME
717
-
odoc-compile-targets - Print the name of the file produced by compile.
718
-
If -o is passed, the same path is printed but error checking is
719
-
performed.
720
-
721
-
SYNOPSIS
722
-
odoc compile-targets [OPTION]… FILE
723
-
724
-
ARGUMENTS
725
-
-o PATH
726
-
Output file path. Non-existing intermediate directories are
727
-
created. If absent outputs a BASE.odoc file in the same directory
728
-
as the input file where BASE is the basename of the input file.
729
-
For mld files the "page-" prefix will be added if not already
730
-
present in the input basename.
731
-
732
-
FILE (required)
733
-
Input .cmti, .cmt, .cmi or .mld file.
734
-
735
-
OPTIONS
736
-
--help[=FMT] (default=auto)
737
-
Show this help in format FMT. The value FMT must be one of auto,
738
-
pager, groff or plain. With auto, the format is pager or plain
0 commit comments