IntenseWebs/sphinx
3
0
Fork 0
mirror of https://github.com/sphinx-doc/sphinx.git synced 2025-02-25 18:55:22 -06:00
Code Issues Packages Projects Releases Wiki Activity

Unknow html_theme_options throw warnings instead of errors.

Browse Source 
New behavior: a sphinx build does not stop, if for the configured theme an unknown but also unneeded html_theme_options is provided.

Fixed #3884
This commit is contained in:
daniel 2017-06-26 08:53:10 +02:00
parent 957c132c23
commit 4ce6da9c96
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
sphinx/theming.py
View File

@ -133,8 +133,9 @@ class Theme(object):
for option, value in iteritems(overrides):
if option not in options:
raise ThemeError('unsupported theme option %r given' % option)
options[option] = value
logger.warning('unsupported theme option %r given' % option)
else:
options[option] = value
return options