diff options
author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2020-04-05 18:23:29 +0300 |
---|---|---|
committer | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2020-04-05 18:23:29 +0300 |
commit | 4860b451f2abab11255ecb87449638f0113e2300 (patch) | |
tree | 9322af37c3c2682bc3f3a876408743f22330f3fe /sphinx/extension.py | |
parent | 50fd2ff51056d7f000a9e3ebeb7c4b6e5a84e387 (diff) | |
parent | 713bbf5cafa3fc5e143ced59dafe56f4b802ef80 (diff) |
Merge branch '3.x'
Diffstat (limited to 'sphinx/extension.py')
-rw-r--r-- | sphinx/extension.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sphinx/extension.py b/sphinx/extension.py index af164ab2a..98efc48fe 100644 --- a/sphinx/extension.py +++ b/sphinx/extension.py @@ -60,7 +60,7 @@ def verify_needs_extensions(app: "Sphinx", config: Config) -> None: def setup(app: "Sphinx") -> Dict[str, Any]: - app.connect('config-inited', verify_needs_extensions) + app.connect('config-inited', verify_needs_extensions, priority=800) return { 'version': 'builtin', |