diff options
Diffstat (limited to 'ocamldoc/odoc_types.mli')
| -rw-r--r-- | ocamldoc/odoc_types.mli | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/ocamldoc/odoc_types.mli b/ocamldoc/odoc_types.mli index f5b416ae5..d5d7e0e1c 100644 --- a/ocamldoc/odoc_types.mli +++ b/ocamldoc/odoc_types.mli @@ -45,8 +45,9 @@ and text_element = (** Style number, optional label, and text. *) | Latex of string (** A string for latex. *) | Link of string * text (** A reference string and the link text. *) - | Ref of string * ref_kind option - (** A reference to an element. Complete name and kind. *) + | Ref of string * ref_kind option * text option + (** A reference to an element. Complete name and kind. An optional + text can be given to display this text instead of the element name.*) | Superscript of text (** Superscripts. *) | Subscript of text (** Subscripts. *) | Module_list of string list |