diff options
author | Damien Doligez <damien.doligez-inria.fr> | 2011-07-20 09:17:07 +0000 |
---|---|---|
committer | Damien Doligez <damien.doligez-inria.fr> | 2011-07-20 09:17:07 +0000 |
commit | c91db736b18c7ed0ec81596b76874f5423d5d331 (patch) | |
tree | a967edfcd254aa6844c44e81ea33596a82b7bf87 /man | |
parent | 46d5420ca9c695738f7a0baa527d3591d95f067a (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.m | 6 |
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 |