diff options
| author | Maxence Guesdon <maxence.guesdon@inria.fr> | 2002-04-05 11:25:22 +0000 |
|---|---|---|
| committer | Maxence Guesdon <maxence.guesdon@inria.fr> | 2002-04-05 11:25:22 +0000 |
| commit | c89e049a4b622473ecf9bcea7149446bf18c6da7 (patch) | |
| tree | 2b74a8912284dc4bb1c37b39b02bfac0cfcd93bb /ocamldoc/odoc_args.mli | |
| parent | 566637b28c8df6abf26ae7aeb9f27e38b31622ef (diff) | |
| download | ocaml-c89e049a4b622473ecf9bcea7149446bf18c6da7.tar.gz | |
ajout module Odoc_texi
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4598 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'ocamldoc/odoc_args.mli')
| -rw-r--r-- | ocamldoc/odoc_args.mli | 15 |
1 files changed, 11 insertions, 4 deletions
diff --git a/ocamldoc/odoc_args.mli b/ocamldoc/odoc_args.mli index f66b8c6624..cf5bbe98bf 100644 --- a/ocamldoc/odoc_args.mli +++ b/ocamldoc/odoc_args.mli @@ -107,6 +107,12 @@ val latex_titles : (int * string) list ref (** The flag which indicates if we must generate a table of contents (for LaTeX). *) val with_toc : bool ref +(** The flag which indicates if we must generate an index (for TeXinfo). *) +val with_index : bool ref + +(** The flag which indicates if we must escape accentuated characters (for TeXinfo).*) +val esc_8bits : bool ref + (** The file used byt the dot generator. *) val dot_file : string ref @@ -135,8 +141,9 @@ val add_option : string * Arg.spec * string -> unit val parse : html_generator:doc_generator -> latex_generator:doc_generator -> - man_generator:doc_generator -> - iso_generator:doc_generator -> - dot_generator:doc_generator -> - unit + texi_generator:doc_generator -> + man_generator:doc_generator -> + iso_generator:doc_generator -> + dot_generator:doc_generator -> + unit |