diff options
Diffstat (limited to 'ocamldoc/odoc_messages.ml')
| -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"^ |