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

---
 dev/ci/docker/bionic_coq/Dockerfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'dev/ci/docker/bionic_coq')

diff --git a/dev/ci/docker/bionic_coq/Dockerfile b/dev/ci/docker/bionic_coq/Dockerfile
index 4e229bb777..e14f634073 100644
--- a/dev/ci/docker/bionic_coq/Dockerfile
+++ b/dev/ci/docker/bionic_coq/Dockerfile
@@ -1,4 +1,4 @@
-# CACHEKEY: "bionic_coq-V2019-03-18-V93"
+# CACHEKEY: "bionic_coq-V2020-03-19-V93"
 # ^^ Update when modifying this file.
 
 FROM ubuntu:bionic
@@ -18,7 +18,7 @@ RUN apt-get update -qq && apt-get install --no-install-recommends -y -qq \
         texlive-science tipa
 
 # More dependencies of the sphinx doc
-RUN pip3 install sphinx==1.7.8 sphinx_rtd_theme==0.2.5b2 \
+RUN pip3 install sphinx==1.8.0 sphinx_rtd_theme==0.2.5b2 \
                  antlr4-python3-runtime==4.7.1 sphinxcontrib-bibtex==0.4.0
 
 # We need to install OPAM 2.0 manually for now.
-- 
cgit v1.2.3