diff options
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 889f09ce5..3dc639969 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 |