diff options
Diffstat (limited to 'man/ocaml.1')
-rw-r--r-- | man/ocaml.1 | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/man/ocaml.1 b/man/ocaml.1 index 2f260c49ff..8e76c414c0 100644 --- a/man/ocaml.1 +++ b/man/ocaml.1 @@ -70,6 +70,9 @@ The following command-line options are recognized by .B \-absname Show absolute filenames in error messages. .TP +.B \-no-absname +Do not try to show absolute filenames in error messages. +.TP .BI \-I \ directory Add the given directory to the list of directories searched for source and compiled files. By default, the current directory is |