diff options
author | Damien Doligez <damien.doligez-inria.fr> | 2010-05-20 14:06:29 +0000 |
---|---|---|
committer | Damien Doligez <damien.doligez-inria.fr> | 2010-05-20 14:06:29 +0000 |
commit | 3bba52b91c2235d7b3ddd31eb70ed57cffa499ab (patch) | |
tree | 4f4f44b2143edbed47c4d7b3bac6a0e7f0af73fc /man/ocamlmktop.m | |
parent | 9ee820de2ca9ee1f1730b3ae976518ca4379785e (diff) | |
download | ocaml-3bba52b91c2235d7b3ddd31eb70ed57cffa499ab.tar.gz |
PR#4857: add -vnum option to all executables
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10444 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'man/ocamlmktop.m')
-rw-r--r-- | man/ocamlmktop.m | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/man/ocamlmktop.m b/man/ocamlmktop.m index 8127d70d58..d84381e154 100644 --- a/man/ocamlmktop.m +++ b/man/ocamlmktop.m @@ -7,7 +7,7 @@ ocamlmktop \- Building custom toplevel systems .SH SYNOPSIS .B ocamlmktop [ -.B \-v +.BR \-v | \-version | \-vnum ] [ .BI \-cclib \ libname @@ -49,7 +49,10 @@ The following command-line options are recognized by .BR ocamlmktop (1). .TP .B \-v -Print the version number of the compiler. +Print the version string of the compiler and exit. +.TP +.BR \-vnum or \-version +Print the version number of the compiler in short form and exit. .TP .BI \-cclib\ \-l libname Pass the |