diff options
author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2020-07-29 02:04:38 +0900 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-29 02:04:38 +0900 |
commit | cc7396501603fec57222084b2487768c54cbd93c (patch) | |
tree | 4a5e38cb264bd48338bbda487b6e1c3e60f21bcd | |
parent | 2cf3e7cae2a7677bc3b2b87456a9129f426d27e1 (diff) | |
parent | cefdb566ebd29518080d103b656d0ce856f68f7d (diff) | |
download | sphinx-git-cc7396501603fec57222084b2487768c54cbd93c.tar.gz |
Merge pull request #8017 from jschueller/partialinit
Fix circular import in addnodes.py
-rw-r--r-- | sphinx/addnodes.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sphinx/addnodes.py b/sphinx/addnodes.py index 84b0c1427..33503bb08 100644 --- a/sphinx/addnodes.py +++ b/sphinx/addnodes.py @@ -15,7 +15,6 @@ from docutils import nodes from docutils.nodes import Element, Node from sphinx.deprecation import RemovedInSphinx40Warning -from sphinx.util import docutils if False: # For type annotation @@ -34,6 +33,7 @@ class document(nodes.document): def set_id(self, node: Element, msgnode: Element = None, suggested_prefix: str = '') -> str: + from sphinx.util import docutils if docutils.__version_info__ >= (0, 16): ret = super().set_id(node, msgnode, suggested_prefix) # type: ignore else: |