diff options
Diffstat (limited to 'man/ocaml.m')
| -rw-r--r-- | man/ocaml.m | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/man/ocaml.m b/man/ocaml.m index 4e041e217..a65a67739 100644 --- a/man/ocaml.m +++ b/man/ocaml.m @@ -196,7 +196,7 @@ Print version string and exit. .B \-vnum Print short version number and exit. .TP -.BI \-w \ warning-list +.BI \-w \ warning\-list Enable or disable warnings according to the argument .IR warning-list . See @@ -205,7 +205,7 @@ for the syntax of the .I warning\-list argument. .TP -.BI \-warn-error \ warning-list +.BI \-warn\-error \ warning\-list Mark as fatal the warnings described by the argument .IR warning\-list . Note that a warning is not triggered (and does not trigger an error) if |