summaryrefslogtreecommitdiff
path: root/man
diff options
context:
space:
mode:
authorJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2014-05-07 00:34:20 +0000
committerJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2014-05-07 00:34:20 +0000
commit1ce29d9bfca4e5f8a6f76c8f1d04521abc2dafc6 (patch)
treebc9cf016ae76d9191fa4b02ac83cf4239e2f93d6 /man
parent3dd57a94e308eb8222b09da3b939667b9773ccf4 (diff)
downloadocaml-1ce29d9bfca4e5f8a6f76c8f1d04521abc2dafc6.tar.gz
re-commit Leo's weak-dependencies pull request
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14755 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'man')
-rw-r--r--man/ocamlc.m3
-rw-r--r--man/ocamlopt.m3
2 files changed, 6 insertions, 0 deletions
diff --git a/man/ocamlc.m b/man/ocamlc.m
index c3f27a12cb..7038f8e88a 100644
--- a/man/ocamlc.m
+++ b/man/ocamlc.m
@@ -396,6 +396,9 @@ bytecode executables produced with the option
.B ocamlc\ \-use\-runtime
.IR runtime-name .
.TP
+.B \-no-alias-deps
+Do not record dependencies for module aliases.
+.TP
.B \-no\-app\-funct
Deactivates the applicative behaviour of functors. With this option,
each functor application generates new types in its result and
diff --git a/man/ocamlopt.m b/man/ocamlopt.m
index e951b77f80..703addc7d1 100644
--- a/man/ocamlopt.m
+++ b/man/ocamlopt.m
@@ -316,6 +316,9 @@ flag forces all
subsequent links of programs involving that library to link all the
modules contained in the library.
.TP
+.B \-no-alias-deps
+Do not record dependencies for module aliases.
+.TP
.B \-no\-app\-funct
Deactivates the applicative behaviour of functors. With this option,
each functor application generates new types in its result and