From 9492db6eeab7c8d29d7f4374fdbafe659149b231 Mon Sep 17 00:00:00 2001
From: Clément Pit-Claudel
Date: Mon, 20 May 2019 17:32:59 -0400
Subject: [refman] Remove workaround for sphinx-doc/sphinx#4983

---
 doc/README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc/README.md')

diff --git a/doc/README.md b/doc/README.md
index 7fa6f5cf3d..e749bcf5d1 100644
--- a/doc/README.md
+++ b/doc/README.md
@@ -30,7 +30,7 @@ To produce the complete documentation in HTML, you will need Coq dependencies
 listed in [`INSTALL.md`](../INSTALL.md). Additionally, the Sphinx-based
 reference manual requires Python 3, and the following Python packages:
 
-  - sphinx >= 1.7.8
+  - sphinx >= 1.8.0
   - sphinx_rtd_theme >= 0.2.5b2
   - beautifulsoup4 >= 4.0.6
   - antlr4-python3-runtime >= 4.7.1
-- 
cgit v1.2.3