diff options
author | Maxence Guesdon <maxence.guesdon@inria.fr> | 2003-02-21 13:49:35 +0000 |
---|---|---|
committer | Maxence Guesdon <maxence.guesdon@inria.fr> | 2003-02-21 13:49:35 +0000 |
commit | a12edec956c097bbe14142162b6fd36c5d40d3f5 (patch) | |
tree | 2bfca6d279c53c6a161948b348d8c9bf1c742f4a /ocamldoc/odoc_messages.ml | |
parent | f665df40f1062539810c4936ddbe5ec62ee41adf (diff) | |
download | ocaml-a12edec956c097bbe14142162b6fd36c5d40d3f5.tar.gz |
ajout options pour odoc_texi, par olivier andrieu
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5396 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 45ba7da343..2fcebc3b3b 100644 --- a/ocamldoc/odoc_messages.ml +++ b/ocamldoc/odoc_messages.ml @@ -130,7 +130,9 @@ let merge_custom = ('c', "merge custom @-tags") let merge_all = ('A', "merge all") let no_index = " Do not build index for Info files "^texi_only -let esc_8bits = " Escape accentuated characters in Info files "^texi_only^"\n" +let esc_8bits = " Escape accentuated characters in Info files "^texi_only +let info_section = "Specify section of Info directory "^texi_only +let info_entry = "Specify Info directory entry "^texi_only^"\n" let options_can_be = " <options> can be one or more of the following characters:" let string_of_options_list l = |