Skip to content

Commit fb9200a

Browse files
committed
Doc: add odoc song to index page
1 parent 2753a96 commit fb9200a

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

doc/odoc.mld

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -3,6 +3,8 @@
33

44
{0 The [odoc] documentation generator}
55

6+
{audio:https://choum.net/panglesd/odoc.mp3}
7+
68
{b For a quick look at the [odoc] syntax, see the {{!cheatsheet}cheatsheet}!}
79

810
{1:overview What is [odoc]?}

0 commit comments

Comments
 (0)