diff options
author | Maxence Guesdon <maxence.guesdon@inria.fr> | 2002-08-08 13:24:05 +0000 |
---|---|---|
committer | Maxence Guesdon <maxence.guesdon@inria.fr> | 2002-08-08 13:24:05 +0000 |
commit | eacc53042bd75c186f852e6c54b4a7d5faf73703 (patch) | |
tree | 7a2eea2dc557da3ec399a87a12c49735e4028ef3 /ocamldoc/odoc_info.ml | |
parent | c8a0a1b6e4a178d6b2b4569890eada9644458b07 (diff) | |
download | ocaml-eacc53042bd75c186f852e6c54b4a7d5faf73703.tar.gz |
conservation des textes des sections pour mettre de jolis texte pour les liens entre sections n html
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5091 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'ocamldoc/odoc_info.ml')
-rw-r--r-- | ocamldoc/odoc_info.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/ocamldoc/odoc_info.ml b/ocamldoc/odoc_info.ml index 1ad74d4e74..6c1cf03533 100644 --- a/ocamldoc/odoc_info.ml +++ b/ocamldoc/odoc_info.ml @@ -22,9 +22,9 @@ type ref_kind = Odoc_types.ref_kind = | RK_exception | RK_attribute | RK_method - | RK_section + | RK_section of text -type text_element = Odoc_types.text_element = +and text_element = Odoc_types.text_element = | Raw of string | Code of string | CodePre of string @@ -183,7 +183,7 @@ module Search = | Res_exception of Exception.t_exception | Res_attribute of Value.t_attribute | Res_method of Value.t_method - | Res_section of string + | Res_section of string * text type search_result = result_element list |