diff options
author | daniel <daniel.woste@useblocks.com> | 2017-06-26 09:53:10 +0300 |
---|---|---|
committer | daniel <daniel.woste@useblocks.com> | 2017-06-26 09:58:45 +0300 |
commit | 4ce6da9c96190e3d6599688bc6eceebc81cfb801 (patch) | |
tree | b1272fbdeb41094c0f8f4a4fe5a32e0d233c5bd5 /sphinx/theming.py | |
parent | 957c132c230b13ca3deee346b8fcb85a98919798 (diff) |
Unknow html_theme_options throw warnings instead of errors.
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
Diffstat (limited to 'sphinx/theming.py')
-rw-r--r-- | sphinx/theming.py | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/sphinx/theming.py b/sphinx/theming.py index 7a11f4bbf..9e62c13a4 100644 --- a/sphinx/theming.py +++ b/sphinx/theming.py @@ -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 |