diff options
| author | Théo Zimmermann | 2018-10-04 14:06:17 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-10-04 14:06:17 +0200 |
| commit | c1e7333faab2f3b0381fc56aa69979cd80ccd75f (patch) | |
| tree | 55bbf92da12ba1db761fe5f6ef2190a5d430d068 /dev/README.md | |
| parent | db8b52eb67b4ebeea292a31d5ca16f1332f634f0 (diff) | |
| parent | cb16f994e14073ab5731beeffc05ea114001d8e1 (diff) | |
Merge PR #8636: [doc] [api] Remove `ocamldoc` support in favor of `odoc`
Diffstat (limited to 'dev/README.md')
| -rw-r--r-- | dev/README.md | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/dev/README.md b/dev/README.md index 4642aaf06d..d9fdd230d3 100644 --- a/dev/README.md +++ b/dev/README.md @@ -34,9 +34,8 @@ | [`dev/doc/release-process.md`](doc/release-process.md) | Process of creating a new Coq release | -## Documentation of ML interfaces using ocamldoc ( `dev/ocamldoc/html`) -`make mli-doc` in coq root directory. - +## Documentation of ML interfaces using `odoc` ( `_build/default/_doc`) +`make -f Makefile.dune apidoc` in coq root directory. ## Other development tools (`dev/tools`) |