Fix #5198: document not in toctree warning when including files only for parallel builds

This commit is contained in:
Takeshi KOMIYA 2018-08-18 14:53:58 +09:00
parent e623739eff
commit e8c6b70de6

View File

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