coq/dev/ocamldoc/html, 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.
"make source-doc" builds documentation of mli in html and pdf at 2010-04-29T16:33:36+00:00 pboutill 2010-04-29T16:33:36+00:00 8e66761c81648add03ed21b157a3bace716b8e08 dev/ocamldoc/ old "make source-doc" that documents ml files and didn't work is now "make ml-doc" but still don't work :-) "make clean" cleans dev/ocamldoc/ properly wierd? calls of dependency graph generation leave unchanged git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12978 85f007b7-540e-0410-9357-904b9bb8a0f7 
dev/ocamldoc/

old "make source-doc" that documents ml files and didn't work is now
"make ml-doc" but still don't work :-)

"make clean" cleans dev/ocamldoc/ properly

wierd? calls of dependency graph generation leave unchanged

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12978 85f007b7-540e-0410-9357-904b9bb8a0f7