Fix #7619: Duplicated node IDs are generated if node has multiple IDs

1 files changed, 2 insertions, 0 deletions

diff --git a/sphinx/io.py b/sphinx/io.py
index f45d5bf5d..4a9d3a94e 100644
--- a/sphinx/io.py
+++ b/sphinx/io.py
@@ -22,6 +22,7 @@ from docutils.transforms import Transform
 from docutils.transforms.references import DanglingReferences
 from docutils.writers import UnfilteredWriter
 
+from sphinx import addnodes
 from sphinx.deprecation import RemovedInSphinx40Warning, deprecated_alias
 from sphinx.environment import BuildEnvironment
 from sphinx.errors import FiletypeNotFoundError
@@ -96,6 +97,7 @@ class SphinxBaseReader(standalone.Reader):
         for logging.
         """
         document = super().new_document()
+        document.__class__ = addnodes.document  # replace the class with patched version
 
         # substitute transformer
         document.transformer = SphinxTransformer(document)