diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2006-09-20 11:14:37 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2006-09-20 11:14:37 +0000 |
| commit | fbea66a95e1d890799b6b573bcd0131558b9ba92 (patch) | |
| tree | 8bfb6bd4b2688d06b2c9934a2b026797b5e91733 /ocamldoc/odoc_args.ml | |
| parent | 403f1e1a34fb6b62072c9e89b84ac2aad3e37f9e (diff) | |
| download | ocaml-fbea66a95e1d890799b6b573bcd0131558b9ba92.tar.gz | |
fusion des changements 3.09.2 -> 3.09.3
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7619 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'ocamldoc/odoc_args.ml')
| -rw-r--r-- | ocamldoc/odoc_args.ml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/ocamldoc/odoc_args.ml b/ocamldoc/odoc_args.ml index 91122ed688..f266e99f57 100644 --- a/ocamldoc/odoc_args.ml +++ b/ocamldoc/odoc_args.ml @@ -124,6 +124,8 @@ let index_only = ref false let colorize_code = ref false +let html_short_functors = ref false + let with_header = ref true let with_trailer = ref true @@ -256,7 +258,8 @@ let options = ref [ "-all-params", Arg.Set with_parameter_list, M.with_parameter_list ; "-css-style", Arg.String (fun s -> css_style := Some s), M.css_style ; "-index-only", Arg.Set index_only, M.index_only ; - "-colorize-code", Arg.Set colorize_code, M.colorize_code ^ + "-colorize-code", Arg.Set colorize_code, M.colorize_code ; + "-short-functors", Arg.Set html_short_functors, M.html_short_functors ^ "\n\n *** LaTeX options ***\n"; (* latex only options *) |