diff options
Diffstat (limited to 'ocamldoc/odoc_args.mli')
| -rw-r--r-- | ocamldoc/odoc_args.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ocamldoc/odoc_args.mli b/ocamldoc/odoc_args.mli index e7f2dda8b1..242f55659a 100644 --- a/ocamldoc/odoc_args.mli +++ b/ocamldoc/odoc_args.mli @@ -17,6 +17,7 @@ type source_file = Impl_file of string | Intf_file of string + | Text_file of string (** The include_dirs in the OCaml compiler. *) val include_dirs : string list ref |