summaryrefslogtreecommitdiff
path: root/man
diff options
context:
space:
mode:
authorAlain Frisch <alain@frisch.fr>2012-08-03 10:22:35 +0000
committerAlain Frisch <alain@frisch.fr>2012-08-03 10:22:35 +0000
commit412ee0f3e00503ad1e46a9f05b269b05dc05b2b2 (patch)
tree540b32886c0e28c47611e323d3407d87e655eb76 /man
parent3e583a982b7a9a2b0b9147368f7c5b3b8719ad0d (diff)
downloadocaml-412ee0f3e00503ad1e46a9f05b269b05dc05b2b2.tar.gz
Support -absname in ocamldep + update man pages.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12819 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'man')
-rw-r--r--man/ocamlc.m3
-rw-r--r--man/ocamldep.m3
-rw-r--r--man/ocamlopt.m3
3 files changed, 9 insertions, 0 deletions
diff --git a/man/ocamlc.m b/man/ocamlc.m
index c7263f21b5..e704873380 100644
--- a/man/ocamlc.m
+++ b/man/ocamlc.m
@@ -195,6 +195,9 @@ command line, unless the
.B -noautolink
option is given.
.TP
+.B \-absname
+Show absolute filenames in error messages.
+.TP
.B \-annot
Dump detailed information about the compilation (types, bindings,
tail-calls, etc). The information for file
diff --git a/man/ocamldep.m b/man/ocamldep.m
index c654dc6122..995177976f 100644
--- a/man/ocamldep.m
+++ b/man/ocamldep.m
@@ -56,6 +56,9 @@ and with the native-code compiler
The following command-line options are recognized by
.BR ocamldep (1).
.TP
+.B \-absname
+Show absolute filenames in error messages.
+.TP
.BI \-I \ directory
Add the given directory to the list of directories searched for
source files. If a source file foo.ml mentions an external
diff --git a/man/ocamlopt.m b/man/ocamlopt.m
index 0d4823fa21..37f1511f62 100644
--- a/man/ocamlopt.m
+++ b/man/ocamlopt.m
@@ -157,6 +157,9 @@ command line, unless the
.B \-noautolink
option is given.
.TP
+.B \-absname
+Show absolute filenames in error messages.
+.TP
.B \-annot
Dump detailed information about the compilation (types, bindings,
tail-calls, etc). The information for file