summaryrefslogtreecommitdiff
path: root/sphinx/theming.py
diff options
context:
space:
mode:
Diffstat (limited to 'sphinx/theming.py')
-rw-r--r--sphinx/theming.py5
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