diff options
| author | Maxence Guesdon <maxence.guesdon@inria.fr> | 2003-09-05 09:08:07 +0000 |
|---|---|---|
| committer | Maxence Guesdon <maxence.guesdon@inria.fr> | 2003-09-05 09:08:07 +0000 |
| commit | ff9f8f6b7f68375681e3e1d2758b58dfa8777fce (patch) | |
| tree | 26660b458e907b3453c1637c49ec84b2d806066b | |
| parent | 3fc3a33882c1366170215ee821893ee20942aa7c (diff) | |
corrections messages d'options qui sont pour latex et texinfo et plus seulement pour latex
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5821 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | ocamldoc/odoc_messages.ml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/ocamldoc/odoc_messages.ml b/ocamldoc/odoc_messages.ml index ff9c5b2ac..80b99f673 100644 --- a/ocamldoc/odoc_messages.ml +++ b/ocamldoc/odoc_messages.ml @@ -25,6 +25,7 @@ let options_are = "Options are :" let option_version = " Print version and exit" let latex_only = "(LaTeX only)" let texi_only = "(TeXinfo only)" +let latex_texi_only = "(LaTeX and TeXinfo only)" let html_only = "(HTML only)" let man_only = "(man only)" let verbose_mode = " verbose mode" @@ -72,8 +73,8 @@ let man_suffix = "<suffix> use <suffix> for man page files "^ let option_title = "<title> use <title> as title for the generated documentation" let with_parameter_list = " display the complete list of parameters for functions and methods "^html_only let hide_modules = " <M1,M2.M3,...> Hide the given complete module names in generated doc" -let no_header = " Suppress header in generated documentation "^latex_only -let no_trailer = " Suppress trailer in generated documentation "^latex_only +let no_header = " Suppress header in generated documentation "^latex_texi_only +let no_trailer = " Suppress trailer in generated documentation "^latex_texi_only let separate_files = " Generate one file per toplevel module "^latex_only let latex_title ref_titles = "n,style associate {n } to the given sectionning style\n"^ |