diff options
| author | Vincent Laporte | 2019-02-11 10:17:23 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-02-11 10:17:23 +0000 |
| commit | 3352a5b7c4507ff8fda1f5aeba83f2e141cb7a3e (patch) | |
| tree | adfe3ca80e200a443937609be56f0e8e376fae21 /doc | |
| parent | aa66e4b3e58699db5af904e14247c73744398732 (diff) | |
| parent | 062456a1f40206d75c5d461cdd4de16b3b9aeae3 (diff) | |
Merge PR #9522: Update link to refman for master branch.
Reviewed-by: vbgl
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/README.md | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/doc/README.md b/doc/README.md index c41d269437..b784fe92f6 100644 --- a/doc/README.md +++ b/doc/README.md @@ -9,8 +9,10 @@ The Coq documentation includes 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=doc:refman>. +Additionally, you can view the reference manual for the development version +at <https://coq.github.io/doc/master/refman/>, and the documentation of the +standard library for the development version at +<https://coq.github.io/doc/master/stdlib/>. The reference manual is written is reStructuredText and compiled using Sphinx. See [`sphinx/README.rst`](sphinx/README.rst) |