diff options
author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2016-12-14 00:12:23 +0900 |
---|---|---|
committer | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2016-12-14 00:12:23 +0900 |
commit | e645ea59dbeec3b295b6167245a9278624c64a6d (patch) | |
tree | fda23ea0f03f4e1b497327a1c16bc4c37f0f6a7f /sphinx/application.py | |
parent | c2b19243a3f6a39734bdf1244d858ee4f53fbc90 (diff) | |
parent | 6bb903058052390be5eedeb4941c4e31c3c75465 (diff) | |
download | sphinx-git-e645ea59dbeec3b295b6167245a9278624c64a6d.tar.gz |
Merge branch 'stable'
Diffstat (limited to 'sphinx/application.py')
-rw-r--r-- | sphinx/application.py | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/sphinx/application.py b/sphinx/application.py index 8ef373067..398a4a124 100644 --- a/sphinx/application.py +++ b/sphinx/application.py @@ -295,7 +295,7 @@ class Sphinx(object): if freshenv: self.env = BuildEnvironment(self.srcdir, self.doctreedir, self.config) self.env.set_warnfunc(self.warn) - self.env.find_files(self.config) + self.env.find_files(self.config, self.buildername) for domain in self.domains.keys(): self.env.domains[domain] = self.domains[domain](self.env) else: @@ -559,12 +559,6 @@ class Sphinx(object): # special-case for compatibility if extension == 'rst2pdf.pdfbuilder': ext_meta = {'parallel_read_safe': True} - elif extension in builtin_extensions: - ext_meta = { - 'version': 'builtin', - 'parallel_read_safe': True, - 'parallel_write_safe': True, - } try: if not ext_meta.get('version'): ext_meta['version'] = 'unknown version' |