summaryrefslogtreecommitdiff
path: root/ocamldoc/odoc_text.ml
diff options
context:
space:
mode:
Diffstat (limited to 'ocamldoc/odoc_text.ml')
-rw-r--r--ocamldoc/odoc_text.ml6
1 files changed, 6 insertions, 0 deletions
diff --git a/ocamldoc/odoc_text.ml b/ocamldoc/odoc_text.ml
index b83c88a19f..85578098b7 100644
--- a/ocamldoc/odoc_text.ml
+++ b/ocamldoc/odoc_text.ml
@@ -134,6 +134,12 @@ module Texter =
)
| Superscript t -> p b "{^" ; p_text b t ; p b "}"
| Subscript t -> p b "{_" ; p_text b t ; p b "}"
+ | Module_list l ->
+ p b "{!modules:";
+ List.iter (fun s -> p b " %s" s) l;
+ p b "}"
+ | Index_list ->
+ p b "{!indexlist}"
let string_of_text s =
let b = Buffer.create 256 in