summaryrefslogtreecommitdiffstats
path: root/man
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez-inria.fr>2011-07-20 09:17:07 +0000
committerDamien Doligez <damien.doligez-inria.fr>2011-07-20 09:17:07 +0000
commitc91db736b18c7ed0ec81596b76874f5423d5d331 (patch)
treea967edfcd254aa6844c44e81ea33596a82b7bf87 /man
parent46d5420ca9c695738f7a0baa527d3591d95f067a (diff)
merge changes from 3.12.0 to 3.12.1
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11123 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'man')
-rw-r--r--man/ocamldep.m6
1 files changed, 6 insertions, 0 deletions
diff --git a/man/ocamldep.m b/man/ocamldep.m
index be77936ea..97d4b3776 100644
--- a/man/ocamldep.m
+++ b/man/ocamldep.m
@@ -59,6 +59,12 @@ the same
.B \-I
options that are passed to the compiler.
.TP
+.BI \-ml\-synonym \ .ext
+Consider the given extension (with leading dot) to be a synonym for .ml.
+.TP
+.BI \-mli\-synonym \ .ext
+Consider the given extension (with leading dot) to be a synonym for .mli.
+.TP
.B \-modules
Output raw dependencies of the form
.IR filename : \ Module1\ Module2 \ ... \ ModuleN