diff options
| author | Maxence Guesdon <maxence.guesdon@inria.fr> | 2002-08-13 14:09:26 +0000 |
|---|---|---|
| committer | Maxence Guesdon <maxence.guesdon@inria.fr> | 2002-08-13 14:09:26 +0000 |
| commit | 307628e786fba0269485fb9461772747dac5311c (patch) | |
| tree | 4c80ef5c1bf9f256b46277319d53fda8f6f37376 /ocamldoc/odoc_messages.ml | |
| parent | 9b7e6b33851e416e093ab89e7c74fa7e738a665f (diff) | |
| download | ocaml-307628e786fba0269485fb9461772747dac5311c.tar.gz | |
pas d'option -g en native mode + ajout du module Args dans Odoc_info et utilisation de ce module au lieu de Odoc_args dans les générateurs
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5098 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'ocamldoc/odoc_messages.ml')
| -rw-r--r-- | ocamldoc/odoc_messages.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/ocamldoc/odoc_messages.ml b/ocamldoc/odoc_messages.ml index 77a977d567..a25795d071 100644 --- a/ocamldoc/odoc_messages.ml +++ b/ocamldoc/odoc_messages.ml @@ -31,7 +31,7 @@ let verbose_mode = " verbose mode" let include_dirs = "<dir> Add <dir> to the list of include directories" let rectypes = " Allow arbitrary recursive types" let preprocess = "<command> Pipe sources through preprocessor <command>" -let load_file = "<file.cm[o|a]> Load file defining a new documentation generator" +let load_file = "<file.cm[o|a]> Load file defining a new documentation generator (bytecode version only)" let nolabels = " Ignore non-optional labels in types" let werr = "Treat ocamldoc warnings as errors" let target_dir = "<dir> Generate files in directory <dir>, rather than in current directory (for man and HTML generators)" @@ -46,6 +46,8 @@ let generate_texinfo = " Generate TeXinfo documentation" let generate_man = " Generate man pages" let generate_dot = " Generate dot code of top modules dependencies" +let option_not_in_native_code op = "Option "^op^" not available in native code version." + let default_out_file = "ocamldoc.out" let out_file = "<file> Set the ouput file name, used by texi, latex and dot generators "^ "(default is "^default_out_file^")" |