diff options
Diffstat (limited to 'man/ocaml.m')
| -rw-r--r-- | man/ocaml.m | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/man/ocaml.m b/man/ocaml.m index fa589e0a7..7f7e5a644 100644 --- a/man/ocaml.m +++ b/man/ocaml.m @@ -13,6 +13,9 @@ ocaml \- The Objective Caml interactive toplevel .BI \-I \ lib-dir ] [ +.I object-files +] +[ .I script-file ] .SH DESCRIPTION @@ -36,6 +39,14 @@ output, errors on standard error. End-of-file on standard input terminates .BR ocaml (1). +If one or more +.I object-files +(ending in +.B .cmo +or +.B .cma + ) are given, they are loaded silently before starting the toplevel. + If a .I script-file is given, phrases are read silently from the file, errors printed on |