diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2008-09-15 14:05:30 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2008-09-15 14:05:30 +0000 |
| commit | 448f1e4fc811ff7912de52caf705f78270d5921e (patch) | |
| tree | c3909bef176e7fc030d7078959b9832f1ac6296a /man/ocaml.m | |
| parent | 4b8877a4222d3cceb64e7a17b7d2459283122a59 (diff) | |
PR#3915 update documentation
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9025 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'man/ocaml.m')
| -rw-r--r-- | man/ocaml.m | 14 |
1 files changed, 5 insertions, 9 deletions
diff --git a/man/ocaml.m b/man/ocaml.m index 09e91f291..466dd3015 100644 --- a/man/ocaml.m +++ b/man/ocaml.m @@ -5,7 +5,6 @@ .SH NAME ocaml \- The Objective Caml interactive toplevel - .SH SYNOPSIS .B ocaml [ @@ -40,11 +39,8 @@ terminates If one or more .I object-files -(ending in -.B .cmo -or -.B .cma - ) are given, they are loaded silently before starting the toplevel. +(ending in .cmo or .cma) are given, they are loaded silently before +starting the toplevel. If a .I script-file @@ -72,7 +68,7 @@ If the given directory starts with .BR + , it is taken relative to the standard library directory. For instance, -.B \-I +labltk +.B \-I\ +labltk adds the subdirectory .B labltk of the standard library to the search path. @@ -96,7 +92,7 @@ and labelled parameters can be given in any order. This is the default. .TP .B \-noassert Do not compile assertion checks. Note that the special form -.B assert false +.B assert\ false is always compiled because it is typed specially. .TP .B \-nolabels @@ -154,7 +150,7 @@ See for the syntax of the argument. .TP .BR \-help \ or \ \-\-help -Display a usage summary and exit. +Display a short usage summary and exit. .SH ENVIRONMENT VARIABLES .TP |