diff options
Diffstat (limited to 'man/ocamlmktop.m')
| -rw-r--r-- | man/ocamlmktop.m | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/ocamlmktop.m b/man/ocamlmktop.m index 236b4c65e..fd6aaa823 100644 --- a/man/ocamlmktop.m +++ b/man/ocamlmktop.m @@ -62,7 +62,7 @@ The following command-line options are recognized by .B \-v Print the version string of the compiler and exit. .TP -.BR \-vnum or \-version +.BR \-vnum \ or\ \-version Print the version number of the compiler in short form and exit. .TP .BI \-cclib\ \-l libname |