Fix broken merge

waltznetworks · Aug 29, 2018 · 972aaff · 972aaff
1 parent 04d2afd
commit 972aaff
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/sphinx/environment/__init__.py b/sphinx/environment/__init__.py
@@ -336,9 +336,6 @@ def merge_info_from(self, docnames, other, app):
             if docname in other.reread_always:
                 self.reread_always.add(docname)
 
-        for docname in other.included:
-            self.included.add(docname)
-
         for version, changes in other.versionchanges.items():
             self.versionchanges.setdefault(version, []).extend(
                 change for change in changes if change[1] in docnames)