diff options
author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2020-03-12 01:37:08 +0900 |
---|---|---|
committer | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2020-03-12 01:37:08 +0900 |
commit | f85b870ad59f39c8637160a4cd4d865ce1e1628e (patch) | |
tree | 6a484557a18503238e26a014b37879a046ed5b3a /sphinx/application.py | |
parent | 25f75b0c5870261e2db4737581f9bd5cc1890dbc (diff) | |
parent | 419cd210f84c02ae62c4cf2b5b19faf85684449f (diff) | |
download | sphinx-git-f85b870ad59f39c8637160a4cd4d865ce1e1628e.tar.gz |
Merge branch '2.x' into 3.x
Diffstat (limited to 'sphinx/application.py')
-rw-r--r-- | sphinx/application.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sphinx/application.py b/sphinx/application.py index fbc637e60..74aa2d630 100644 --- a/sphinx/application.py +++ b/sphinx/application.py @@ -489,7 +489,7 @@ class Sphinx: other values. """ logger.debug('[app] adding config value: %r', - (name, default, rebuild) + ((types,) if types else ())) # type: ignore + (name, default, rebuild) + ((types,) if types else ())) if rebuild in (False, True): rebuild = 'env' if rebuild else '' self.config.add(name, default, rebuild, types) |