diff options
| author | Théo Zimmermann | 2019-04-25 16:51:35 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2019-04-30 16:10:18 +0200 |
| commit | eda7d026b6919b8bef13512f5e324c7174f81a7e (patch) | |
| tree | 0b4e9ffc1ba190dea7d807b91b5a69b085a5fefe | |
| parent | 0473775ea96088fc13c99d0082f26f5be6eaec85 (diff) | |
Advertize continuous deployment of documentation.
| -rw-r--r-- | doc/sphinx/changes.rst | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/sphinx/changes.rst b/doc/sphinx/changes.rst index 5d267b37fa..f433df0978 100644 --- a/doc/sphinx/changes.rst +++ b/doc/sphinx/changes.rst @@ -168,6 +168,12 @@ continuous integration system and package building infrastructure. Coq is now continuously tested against OCaml trunk, in addition to the oldest supported and latest OCaml releases. +Coq's documentation for the development branch is now deployed +continously at https://coq.github.io/doc/master/api (documentation of +the ML API), https://coq.github.io/doc/master/refman (reference +manual), and https://coq.github.io/doc/master/stdlib (documentation of +the standard library). Similar links exist for the `v8.10` branch. + The OPAM repository for |Coq| packages has been maintained by Guillaume Melquiond, Matthieu Sozeau, Enrico Tassi (who migrated it to opam 2) with contributions from many users. A list of packages is available at |