diff options
| author | danieleades <33452915+danieleades@users.noreply.github.com> | 2023-01-02 18:32:44 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-02 18:32:44 +0000 |
| commit | 94e6e3917fc41862d662fbed0155673781c426d3 (patch) | |
| tree | f72459c865afd8dba661a4a21c9d482120e552a1 /sphinx/util/nodes.py | |
| parent | 256e52180759e7205178a8aa087ee1e362b7669d (diff) | |
| download | sphinx-git-94e6e3917fc41862d662fbed0155673781c426d3.tar.gz | |
De-glob mypy whitelist for 'sphinx.domains.*' (#11064)
Co-authored-by: Adam Turner <9087854+AA-Turner@users.noreply.github.com>
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.""" |