From 4ce6da9c96190e3d6599688bc6eceebc81cfb801 Mon Sep 17 00:00:00 2001 From: daniel Date: Mon, 26 Jun 2017 08:53:10 +0200 Subject: 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 --- sphinx/theming.py | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'sphinx/theming.py') 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 -- cgit v1.2.3