diff options
author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2018-02-10 09:46:48 +0300 |
---|---|---|
committer | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2018-02-10 09:46:48 +0300 |
commit | e84ba569a200043b4c13c09d5b21d6e478bfcc47 (patch) | |
tree | 8ffdbf9dded58d893e95b83b61bdb161f61316d8 /sphinx/extension.py | |
parent | c21065e278d43cb3c159f0d97b98809b8b7963bd (diff) | |
parent | e420d259d54aa2aa5de27777c5f590f4af8451ae (diff) |
Merge branch '1.7-release'
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 88f022dab..732ea327c 100644 --- a/sphinx/extension.py +++ b/sphinx/extension.py @@ -52,7 +52,7 @@ def verify_needs_extensions(app, config): for extname, reqversion in iteritems(config.needs_extensions): extension = app.extensions.get(extname) if extension is None: - logger.warning(__('The %s extension is required by needs_extensions settings,' + logger.warning(__('The %s extension is required by needs_extensions settings, ' 'but it is not loaded.'), extname) continue |