You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: doc/odoc_for_authors.mld
+27Lines changed: 27 additions & 0 deletions
Original file line number
Diff line number
Diff line change
@@ -611,6 +611,33 @@ would render as
611
611
The light syntax has the advantages of being arguably more readable for small tables, when viewing the source file directly. However, its content is restricted (for instance, no new line is allowed).
612
612
The heavy syntax is easier to write, can be more readable for big tables, and supports having any kind of content inside. It does not support alignment (yet).
613
613
614
+
{2 Medias}
615
+
616
+
Odoc 2.4 introduced new markup for medias. Medias are nestable blocks,
617
+
so they can be put inside lists and tables, but they cannot be
618
+
inlined, for instance in a link..
619
+
620
+
There are currently three kinds of medias: image, audio, and
621
+
video. Each of them can refer to the file either using an asset
622
+
reference, or a direct link.
623
+
624
+
The markup is [{<media>:link}], [{<media>!ref}],
625
+
[{{<media>:link}Replacement text}] and [{{<media>:ref}Replacement text}],
626
+
where [<media>] is either [image], [video] or [audio].
627
+
628
+
The replacement text is used for backends that do not support medias
629
+
(latex and man), and for when a reference is unresolved. In the case
630
+
of an image, it is also used to generate an alternative text.
0 commit comments