Remove diagnostics which is not working

2015-10-15 08:30:16 -07:00 · 2015-10-15 08:30:16 -07:00 · 221eeda912
commit 221eeda912
parent d57c6204cd
1 changed files with 0 additions and 1 deletions
--- 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'])