From 34323776693ec25ce33e8d71992a5e044ec4c828 Mon Sep 17 00:00:00 2001 From: Takeshi KOMIYA Date: Fri, 15 Jan 2016 21:14:04 +0900 Subject: [PATCH] Update error message if sphinx_rtd_theme not found --- sphinx/theming.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/sphinx/theming.py b/sphinx/theming.py index b27368c79..7c53479ca 100644 --- a/sphinx/theming.py +++ b/sphinx/theming.py @@ -103,8 +103,8 @@ class Theme(object): self.load_extra_theme(name) if name not in self.themes: if name == 'sphinx_rtd_theme': - raise ThemeError('sphinx_rtd_theme has been unbundled since version ' - '1.4.0. Please install it manually.') + raise ThemeError('sphinx_rtd_theme is no longer a hard dependency ' + 'since version 1.4.0. Please install it manually.') else: raise ThemeError('no theme named %r found ' '(missing theme.conf?)' % name)