From c3e2009300527d4a3f2e5c8af71455b06c70fe5c Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Tue, 18 Sep 2018 02:02:56 +0200
Subject: [PATCH] docs: sphinx 1.8.0 was released, so use it

---
 docs/requirements.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/requirements.txt b/docs/requirements.txt
index 038b4d3c83..7a99a0275d 100644
--- a/docs/requirements.txt
+++ b/docs/requirements.txt
@@ -1,5 +1,5 @@
 breathe
 exhale
-sphinx>=1.8.0b1
+sphinx>=1.8.0
 sphinx_rtd_theme
 
-- 
2.20.1