Merge pull request #5200 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-07-22 21:15:26 +09:00 committed by GitHub
commit f6754d4336
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 6 additions and 0 deletions

View File

@ -16,6 +16,9 @@ Features added
Bugs fixed
----------
* #5198: document not in toctree warning when including files only for parallel
builds
Testing
--------

View File

@ -310,6 +310,7 @@ class BuildEnvironment(object):
if docname in self.all_docs:
self.all_docs.pop(docname, None)
self.reread_always.discard(docname)
self.included.discard(docname)
for version, changes in self.versionchanges.items():
new = [change for change in changes if change[1] != docname]
@ -330,6 +331,8 @@ 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 version, changes in other.versionchanges.items():
self.versionchanges.setdefault(version, []).extend(