From b6c940346123ea9f4e28845436a274c92c9baae6 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Fri, 5 Jun 2020 15:14:48 +0200
Subject: Document incompatibility with Sphinx 3.

Cf. #12332
---
 doc/sphinx/changes.rst | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

(limited to 'doc/sphinx')

diff --git a/doc/sphinx/changes.rst b/doc/sphinx/changes.rst
index 72f0fdf4c5..68ab36a5ff 100644
--- a/doc/sphinx/changes.rst
+++ b/doc/sphinx/changes.rst
@@ -970,8 +970,14 @@ Infrastructure and dependencies
 
 - **Changed:**
   Minimal versions of dependencies for building the reference manual:
-  now requires Sphinx 2.3.1+, sphinx_rtd_theme 0.4.3+ and
-  sphinxcontrib-bibtex 0.4.2+
+  now requires Sphinx >= 2.3.1 & < 3.0.0, sphinx_rtd_theme 0.4.3+ and
+  sphinxcontrib-bibtex 0.4.2+.
+
+  .. warning::
+
+     The reference manual is known not to build properly with
+     Sphinx 3.
+
   (`#12224 <https://github.com/coq/coq/pull/12224>`_,
   by Jim Fehrle and Théo Zimmermann).
 - **Removed:**
-- 
cgit v1.2.3