diff options
Diffstat (limited to 'man')
| -rw-r--r-- | man/ocamlc.m | 5 | ||||
| -rw-r--r-- | man/ocamlopt.m | 4 |
2 files changed, 4 insertions, 5 deletions
diff --git a/man/ocamlc.m b/man/ocamlc.m index e53a994f4..c26d29ca5 100644 --- a/man/ocamlc.m +++ b/man/ocamlc.m @@ -407,9 +407,8 @@ specify the name of the output file produced. .B \-output\-obj Cause the linker to produce a C object file instead of a bytecode executable file. This is useful to wrap OCaml code as a C library, -callable from any C program. The name of the output object file is -.B camlprog.o -by default; it can be set with the +callable from any C program. The name of the output object file +must be set with the .B \-o option. This option can also be used to produce a C source file (.c extension) or diff --git a/man/ocamlopt.m b/man/ocamlopt.m index db6ac0098..0dfb196bd 100644 --- a/man/ocamlopt.m +++ b/man/ocamlopt.m @@ -336,8 +336,8 @@ option is given, specify the name of plugin file produced. .B \-output\-obj Cause the linker to produce a C object file instead of an executable file. This is useful to wrap OCaml code as a C library, -callable from any C program. The name of the output object file is -camlprog.o by default; it can be set with the +callable from any C program. The name of the output object file +must be set with the .B \-o option. This option can also be used to produce a compiled shared/dynamic |