Fix traceback with duplicate toctree entries.

2026-09-03 20:52:55 -05:00 · 2015-01-25 11:22:25 +01:00
parent 23c0d3d42a
commit d28b6ef2c3
1 changed files with 1 additions and 1 deletions
@@ -96,7 +96,7 @@ class TocTree(Directive):
                        'document %r' % docname, line=self.lineno))
                    env.note_reread()
                else:
-                    all_docnames.remove(docname)
+                    all_docnames.discard(docname)
                    entries.append((title, docname))
                    includefiles.append(docname)
        subnode = addnodes.toctree()