From 221eeda912ec1eca1fcf7500172aed44459ad8fb Mon Sep 17 00:00:00 2001 From: vitaut Date: Thu, 15 Oct 2015 08:30:16 -0700 Subject: [PATCH] Remove diagnostics which is not working --- doc/build.py | 1 - 1 file changed, 1 deletion(-) diff --git a/doc/build.py b/doc/build.py index b0547f22..b485645e 100755 --- a/doc/build.py +++ b/doc/build.py @@ -41,7 +41,6 @@ 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(check_output(['pip', 'show', 'sphinx-rtd-theme'])) print(check_output(['sphinx-build', '--version'])) print('PATH:', os.environ['PATH'])