summaryrefslogtreecommitdiff
path: root/sphinx/config.py
diff options
context:
space:
mode:
Diffstat (limited to 'sphinx/config.py')
-rw-r--r--sphinx/config.py9
1 files changed, 9 insertions, 0 deletions
diff --git a/sphinx/config.py b/sphinx/config.py
index ec54f1691..039bf7b6a 100644
--- a/sphinx/config.py
+++ b/sphinx/config.py
@@ -483,12 +483,21 @@ def check_unicode(config):
'Please use Unicode strings, e.g. %r.'), name, u'Content')
+def check_primary_domain(app, config):
+ # type: (Sphinx, Config) -> None
+ primary_domain = config.primary_domain
+ if primary_domain and not app.registry.has_domain(primary_domain):
+ logger.warning(__('primary_domain %r not found, ignored.'), primary_domain)
+ config.primary_domain = None # type: ignore
+
+
def setup(app):
# type: (Sphinx) -> Dict[unicode, Any]
app.connect('config-inited', convert_source_suffix)
app.connect('config-inited', init_numfig_format)
app.connect('config-inited', correct_copyright_year)
app.connect('config-inited', check_confval_types)
+ app.connect('config-inited', check_primary_domain)
return {
'version': 'builtin',