From e8c6b70de6c98faf6d91f0c89aee946784a33ff4 Mon Sep 17 00:00:00 2001 From: Takeshi KOMIYA Date: Sat, 18 Aug 2018 14:53:58 +0900 Subject: [PATCH] Fix #5198: document not in toctree warning when including files only for parallel builds --- sphinx/environment/__init__.py | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/sphinx/environment/__init__.py b/sphinx/environment/__init__.py index 4d3935faf..db5a229dc 100644 --- a/sphinx/environment/__init__.py +++ b/sphinx/environment/__init__.py @@ -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(