From 3ad4b7b0a5ca133fd2a401dcc6f9a3c4604f5087 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gina=20H=C3=A4u=C3=9Fge?= Date: Thu, 19 Oct 2017 13:15:45 +0200 Subject: [PATCH] Fix Sphinx theme for local builds --- setup.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/setup.py b/setup.py index c8d4e140..73c23195 100644 --- a/setup.py +++ b/setup.py @@ -70,7 +70,7 @@ EXTRA_REQUIRES = dict( "sphinx>=1.6,<1.7", "sphinxcontrib-httpdomain", "sphinxcontrib-mermaid", - "sphinx_bootstrap_theme", + "sphinx_rtd_theme", # PyPi upload related "pypandoc"