Skip to content

Commit

Permalink
Doc: add odoc song to index page
Browse files Browse the repository at this point in the history
  • Loading branch information
panglesd committed Dec 13, 2024
1 parent ddb98dc commit d73cbb0
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions doc/odoc.mld
Original file line number Diff line number Diff line change
Expand Up @@ -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]?}
Expand Down

0 comments on commit d73cbb0

Please sign in to comment.