From 480f63f3de206c237e8605a733bd0095f8eabd0e Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Mon, 16 Dec 2019 12:26:11 +0100
Subject: Advertise doc for master branch in README.

---
 README.md | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/README.md b/README.md
index ffbeb22327..5adab9814e 100644
--- a/README.md
+++ b/README.md
@@ -70,6 +70,15 @@ See also [Cocorico](https://github.com/coq/coq/wiki) (the Coq wiki),
 and the [Coq FAQ](https://github.com/coq/coq/wiki/The-Coq-FAQ),
 for additional user-contributed documentation.
 
+The documentation of the master branch is continuously deployed.  See:
+- [Reference Manual (master)][refman-master]
+- [Documentation of the standard library (master)][stdlib-master]
+- [Documentation of the ML API (master)][api-master]
+
+[api-master]: https://coq.github.io/doc/master/api/
+[refman-master]: https://coq.github.io/doc/master/refman/
+[stdlib-master]: https://coq.github.io/doc/master/stdlib/
+
 ## Changes
 
 The [Recent
-- 
cgit v1.2.3