diff options
| author | Emilio Jesus Gallego Arias | 2018-06-03 01:01:16 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2018-09-03 16:19:36 +0200 |
| commit | 5cc3e117ed0264e35a46b6e3bb416b4b7f66b127 (patch) | |
| tree | 201e418ba8ce0a5bc6fe3aaf3cf0ae73339f3b7f /kernel/nativevalues.ml | |
| parent | c880e9e01d57eb4beca561e209839caa66d38742 (diff) | |
[doc] Build ML API documentation artifact.
This is not optimal for we have to rebuild the `.cmi` as
`ocamldoc` cannot yet use the `_install_ci/` directory.
Overall the `mli` documentation is in a sorry state, however, I think
this is a first step in order to improve it.
Note that the `ml-doc` target seems broken in OCaml 4.07.0, needs
investigation.
cc: #7155
Diffstat (limited to 'kernel/nativevalues.ml')
0 files changed, 0 insertions, 0 deletions