From eda7d026b6919b8bef13512f5e324c7174f81a7e Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Thu, 25 Apr 2019 16:51:35 +0200
Subject: Advertize continuous deployment of documentation.

---
 doc/sphinx/changes.rst | 6 ++++++
 1 file changed, 6 insertions(+)

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
-- 
cgit v1.2.3