+6 -1

doc/odoc-parser/index.mld

reviewed

··· 1 1 - {0 odoc comment parser} 1 1 + {0 The [odoc] comment parser} 2 2 + 3 3 + This is the parser for odoc-formatted comments and mld files. 4 4 + 5 5 + For API documentation see {!Odoc_parser}. 6 6 +

+5

doc/sherlodoc/index.mld

reviewed

··· 1 1 {0 Sherlodoc search engine} 2 2 + 3 3 + This is the search engine used to provide client and server side search. 4 4 + 5 5 + For a full deployment, see {:https://doc.sherlocode.com/} 6 6 +