diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2012-03-08 19:52:03 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2012-03-08 19:52:03 +0000 |
| commit | 6c24f4f90b23e8c4536281d31461adfe5a15b739 (patch) | |
| tree | 29f6c4af8052800cc7d0eafb9650c6be8e90a2e5 /man/ocamlopt.m | |
| parent | 1fb4007ece64b1d59e16d7a84639fce1dd69ed45 (diff) | |
merge version 3.12 from 3.12.1 to r12205
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12210 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'man/ocamlopt.m')
| -rw-r--r-- | man/ocamlopt.m | 4 |
1 files changed, 2 insertions, 2 deletions
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 |