From c0ba51902f943c6f5cae56429fb0c73652ce1d21 Mon Sep 17 00:00:00 2001 From: Takeshi KOMIYA Date: Sat, 21 Jul 2018 14:35:31 +0900 Subject: [PATCH] Fix #5198: document not in toctree warning when including files only for parallel builds --- CHANGES | 3 +++ sphinx/environment/__init__.py | 3 +++ 2 files changed, 6 insertions(+) diff --git a/CHANGES b/CHANGES index f0133ff94..778df02e0 100644 --- a/CHANGES +++ b/CHANGES @@ -16,6 +16,9 @@ Features added Bugs fixed ---------- +* #5198: document not in toctree warning when including files only for parallel + builds + Testing -------- diff --git a/sphinx/environment/__init__.py b/sphinx/environment/__init__.py index 86d69cc3a..4d3935faf 100644 --- a/sphinx/environment/__init__.py +++ b/sphinx/environment/__init__.py @@ -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(