diff --git a/doc/odoc.mld b/doc/odoc.mld index 03be72da81..5d4ee6e454 100644 --- a/doc/odoc.mld +++ b/doc/odoc.mld @@ -3,6 +3,8 @@ {0 The [odoc] documentation generator} +{audio:https://choum.net/panglesd/odoc.mp3} + {b For a quick look at the [odoc] syntax, see the {{!cheatsheet}cheatsheet}!} {1:overview What is [odoc]?}