coq/dev/ocamldoc/fix-ocamldoc-utf8, branch master The formal proof system [doc] [api] Remove `ocamldoc` support in favor of `odoc` 2018-10-02T19:38:55+00:00 Emilio Jesus Gallego Arias 2018-10-02T19:38:55+00:00 cb16f994e14073ab5731beeffc05ea114001d8e1 This PR removes support for `ocamldoc` in favor of `odoc`. Following a recent discussion in OCaml's discord, it turns out that basically all the ecosystem has migrated to odoc, thus we follow suit and may focus on `odoc` for Coq's ML API documentation. 
This PR removes support for `ocamldoc` in favor of `odoc`.

Following a recent discussion in OCaml's discord, it turns out that
basically all the ecosystem has migrated to odoc, thus we follow suit
and may focus on `odoc` for Coq's ML API documentation.
Ensuring that documentation of mli code works in the presence of utf-8 2015-12-05T07:58:19+00:00 Hugo Herbelin 2015-11-19T21:32:54+00:00 d1c4ea65c490b59d34a5464554237a270063cbc9 characters. 
characters.