Merge pull request #5313 from tk0miya/5198_note_included_on_parallel_build

Fix #5198: document not in toctree warning when including files only for parallel builds
This commit is contained in:
Takeshi KOMIYA 2018-08-18 18:11:40 +09:00 committed by GitHub
commit 6e06ec2f37
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -331,8 +331,9 @@ class BuildEnvironment(object):
self.all_docs[docname] = other.all_docs[docname]
if docname in other.reread_always:
self.reread_always.add(docname)
if docname in other.included:
self.included.add(docname)
for docname in other.included:
self.included.add(docname)
for version, changes in other.versionchanges.items():
self.versionchanges.setdefault(version, []).extend(