summaryrefslogtreecommitdiff
path: root/man
diff options
context:
space:
mode:
Diffstat (limited to 'man')
-rw-r--r--man/ocaml.13
-rw-r--r--man/ocamlc.13
-rw-r--r--man/ocamldep.13
-rw-r--r--man/ocamlopt.13
4 files changed, 12 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
diff --git a/man/ocamlc.1 b/man/ocamlc.1
index 49a62ff8a1..bd3b0136c3 100644
--- a/man/ocamlc.1
+++ b/man/ocamlc.1
@@ -203,6 +203,9 @@ excluding the filename.
.B \-absname
Show absolute filenames in error messages.
.TP
+.B \-no-absname
+Do not try to show absolute filenames in error messages.
+.TP
.B \-annot
Deprecated since 4.11. Please use
.BR \-bin-annot
diff --git a/man/ocamldep.1 b/man/ocamldep.1
index 1c39e9d52a..45f562c677 100644
--- a/man/ocamldep.1
+++ b/man/ocamldep.1
@@ -60,6 +60,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 (default).
+.TP
.B \-all
Generate dependencies on all required files, rather than assuming
implicit dependencies.
diff --git a/man/ocamlopt.1 b/man/ocamlopt.1
index 859c9f1a16..f93333470c 100644
--- a/man/ocamlopt.1
+++ b/man/ocamlopt.1
@@ -166,6 +166,9 @@ excluding the filename.
.B \-absname
Show absolute filenames in error messages.
.TP
+.B \-no-absname
+Do not try to show absolute filenames in error messages.
+.TP
.B \-annot
Deprecated since OCaml 4.11. Please use
.BR \-bin-annot