diff options
Diffstat (limited to 'sphinx/util/nodes.py')
| -rw-r--r-- | sphinx/util/nodes.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sphinx/util/nodes.py b/sphinx/util/nodes.py index 884965b93..9fc484086 100644 --- a/sphinx/util/nodes.py +++ b/sphinx/util/nodes.py @@ -530,7 +530,7 @@ def find_pending_xref_condition(node: addnodes.pending_xref, condition: str return None -def make_refnode(builder: Builder, fromdocname: str, todocname: str, targetid: str, +def make_refnode(builder: Builder, fromdocname: str, todocname: str, targetid: str | None, child: Node | list[Node], title: str | None = None ) -> nodes.reference: """Shortcut to create a reference node.""" |