From 694bfb5309a7a1b19f25c0600cf808916045cd53 Mon Sep 17 00:00:00 2001 From: vitaut Date: Thu, 15 Oct 2015 08:19:33 -0700 Subject: [PATCH] sphinx-rtd-theme -> sphinx_rtd_theme --- doc/build.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/build.py b/doc/build.py index c59391b1..ce3867cc 100755 --- a/doc/build.py +++ b/doc/build.py @@ -40,7 +40,7 @@ def build_docs(): pip_install('michaeljones/breathe', '511b0887293e7c6b12310bb61b3659068f48f0f4') print(check_output(['pip', '--version'])) - print('sphinx-rtd-theme version: ' + pkg_resources.get_distribution("sphinx-rtd-theme").version) + print('sphinx-rtd-theme version: ' + pkg_resources.get_distribution("sphinx_rtd_theme").version) print(check_output(['pip', 'show', 'sphinx-rtd-theme'])) print(check_output(['sphinx-build', '--version'])) print('PATH:', os.environ['PATH'])