diff options
| author | Maxence Guesdon <maxence.guesdon@inria.fr> | 2008-07-25 13:28:23 +0000 |
|---|---|---|
| committer | Maxence Guesdon <maxence.guesdon@inria.fr> | 2008-07-25 13:28:23 +0000 |
| commit | c0820f079f6aedb13b08fb3dffeb203f113c9817 (patch) | |
| tree | ed5605c14c173fa3f1da7b5b351d98a529733522 /ocamldoc/odoc_args.mli | |
| parent | 52433269173ef6261c21e2b46c1de59547c0b62a (diff) | |
| download | ocaml-c0820f079f6aedb13b08fb3dffeb203f113c9817.tar.gz | |
add option -no-module-constraint-filter for PR#4588
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8932 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'ocamldoc/odoc_args.mli')
| -rw-r--r-- | ocamldoc/odoc_args.mli | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/ocamldoc/odoc_args.mli b/ocamldoc/odoc_args.mli index 3aaa270f62..898da800e9 100644 --- a/ocamldoc/odoc_args.mli +++ b/ocamldoc/odoc_args.mli @@ -69,6 +69,9 @@ val keep_code : bool ref (** To inverse implementation and interface files when merging. *) val inverse_merge_ml_mli : bool ref +(** To filter module elements according to module type constraints. *) +val filter_with_module_constraints : bool ref + (** The optional title to use in the generated documentation. *) val title : string option ref |