diff options
| author | Gaëtan Gilbert | 2018-09-04 13:25:05 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2018-09-04 13:25:05 +0200 |
| commit | 6d14f27dc75c68d9964755540ae795332eac3844 (patch) | |
| tree | 65216e45f8f2ee5fa9e30be4f356d2f6d4ebaac0 /doc | |
| parent | b40d68fa4fc07a9b585dbd602e94224d6b3f2a7a (diff) | |
| parent | 5cc3e117ed0264e35a46b6e3bb416b4b7f66b127 (diff) | |
Merge PR #7684: [doc] Build ML API documentation artifact.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/README.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/README.md b/doc/README.md index 3e70bc443d..47507de52d 100644 --- a/doc/README.md +++ b/doc/README.md @@ -10,7 +10,7 @@ The documentation of the latest released version is available on the Coq web site at [coq.inria.fr/documentation](http://coq.inria.fr/documentation). Additionally, you can view the documentation for the current master version at -<https://gitlab.com/coq/coq/-/jobs/artifacts/master/file/_install_ci/share/doc/coq/sphinx/html/index.html?job=documentation>. +<https://gitlab.com/coq/coq/-/jobs/artifacts/master/file/_install_ci/share/doc/coq/sphinx/html/index.html?job=doc:refman>. The reference manual is written is reStructuredText and compiled using Sphinx. See [`sphinx/README.rst`](sphinx/README.rst) |