mirror of
https://github.com/sphinx-doc/sphinx.git
synced 2025-02-25 18:55:22 -06:00
parent
2cf3e7cae2
commit
cefdb566eb
@ -15,7 +15,6 @@ from docutils import nodes
|
|||||||
from docutils.nodes import Element, Node
|
from docutils.nodes import Element, Node
|
||||||
|
|
||||||
from sphinx.deprecation import RemovedInSphinx40Warning
|
from sphinx.deprecation import RemovedInSphinx40Warning
|
||||||
from sphinx.util import docutils
|
|
||||||
|
|
||||||
if False:
|
if False:
|
||||||
# For type annotation
|
# For type annotation
|
||||||
@ -34,6 +33,7 @@ class document(nodes.document):
|
|||||||
|
|
||||||
def set_id(self, node: Element, msgnode: Element = None,
|
def set_id(self, node: Element, msgnode: Element = None,
|
||||||
suggested_prefix: str = '') -> str:
|
suggested_prefix: str = '') -> str:
|
||||||
|
from sphinx.util import docutils
|
||||||
if docutils.__version_info__ >= (0, 16):
|
if docutils.__version_info__ >= (0, 16):
|
||||||
ret = super().set_id(node, msgnode, suggested_prefix) # type: ignore
|
ret = super().set_id(node, msgnode, suggested_prefix) # type: ignore
|
||||||
else:
|
else:
|
||||||
|
Loading…
Reference in New Issue
Block a user