diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2004-08-20 17:04:35 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2004-08-20 17:04:35 +0000 |
| commit | c3a39fc8c84698aa4985c779e16493c2409a0285 (patch) | |
| tree | 0454ddf1543d0f6a78f9b6d6fff79ae8080f48e1 /ocamldoc/odoc_args.mli | |
| parent | 8030a20089b6ed8a7b654c189f00a6f3693f8bce (diff) | |
| download | ocaml-c3a39fc8c84698aa4985c779e16493c2409a0285.tar.gz | |
Fusion des modifs de la branche release308 entre 3.08.0 et 3.08.1
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6612 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'ocamldoc/odoc_args.mli')
| -rw-r--r-- | ocamldoc/odoc_args.mli | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/ocamldoc/odoc_args.mli b/ocamldoc/odoc_args.mli index 889f09ce58..3dc6399697 100644 --- a/ocamldoc/odoc_args.mli +++ b/ocamldoc/odoc_args.mli @@ -13,6 +13,11 @@ (** Analysis of the command line arguments. *) +(** The kind of source file in arguments. *) +type source_file = + Impl_file of string + | Intf_file of string + (** The include_dirs in the OCaml compiler. *) val include_dirs : string list ref @@ -161,7 +166,7 @@ val man_suffix : string ref val man_mini : bool ref (** The files to be analysed. *) -val files : string list ref +val files : source_file list ref (** To set the documentation generator. *) val set_doc_generator : doc_generator option -> unit |