Skip to content

Commit e5cd182

Browse files
panglesdJulow
andauthored
Typos in documentation
Co-authored-by: Jules Aguillon <[email protected]>
1 parent 9ee7d68 commit e5cd182

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

doc/odoc_for_authors.mld

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -632,7 +632,7 @@ The heavy syntax is easier to write, can be more readable for big tables, and su
632632

633633
Odoc 3.0 introduced new markup for medias. Medias are nestable blocks,
634634
so they can be put inside lists and tables, but they cannot be
635-
inlined, for instance in a link..
635+
inlined, for instance in a link.
636636

637637
There are currently three kinds of medias: image, audio, and
638638
video. Each of them can refer to the file either using an asset
@@ -646,7 +646,7 @@ The replacement text is used for backends that do not support medias
646646
(latex and man), and for when a reference is unresolved. In the case
647647
of an image, it is also used to generate an alternative text.
648648

649-
Images are clickable and links to the image file.
649+
Images are clickable and link to the image file.
650650

651651
The following source:
652652

0 commit comments

Comments
 (0)