From 7038e53d5df9079b1d335ff9dca3f270d66a6697 Mon Sep 17 00:00:00 2001 From: ryaanwells Date: Mon, 25 Apr 2016 15:28:38 +0100 Subject: [PATCH] Error message improvement: sphinx_rtd_theme not found error --- sphinx/theming.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/sphinx/theming.py b/sphinx/theming.py index 08051be98..539184115 100644 --- a/sphinx/theming.py +++ b/sphinx/theming.py @@ -103,7 +103,8 @@ class Theme(object): if name not in self.themes: if name == 'sphinx_rtd_theme': raise ThemeError('sphinx_rtd_theme is no longer a hard dependency ' - 'since version 1.4.0. Please install it manually.') + 'since version 1.4.0. Please install it manually.' + '(pip install sphinx_rtd_theme)') else: raise ThemeError('no theme named %r found ' '(missing theme.conf?)' % name)