diff options
author | ryaanwells <ryan.wells@skyscanner.net> | 2016-04-25 15:28:38 +0100 |
---|---|---|
committer | ryaanwells <ryan.wells@skyscanner.net> | 2016-04-25 15:28:38 +0100 |
commit | 7038e53d5df9079b1d335ff9dca3f270d66a6697 (patch) | |
tree | aae33f01396bfeff6d774c20de506a7b1cebdfd7 /sphinx/theming.py | |
parent | e48335097cc9f6bc578d866348a54221983057de (diff) | |
download | sphinx-git-7038e53d5df9079b1d335ff9dca3f270d66a6697.tar.gz |
Error message improvement: sphinx_rtd_theme not found error
Diffstat (limited to 'sphinx/theming.py')
-rw-r--r-- | sphinx/theming.py | 3 |
1 files changed, 2 insertions, 1 deletions
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) |