diff options
Diffstat (limited to 'sphinx/domains/std.py')
-rw-r--r-- | sphinx/domains/std.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sphinx/domains/std.py b/sphinx/domains/std.py index 43341e42..07b39417 100644 --- a/sphinx/domains/std.py +++ b/sphinx/domains/std.py @@ -530,7 +530,7 @@ class StandardDomain(Domain): if labelid is None: continue node = document.ids[labelid] - if name.isdigit() or node.has_key('refuri') or \ + if name.isdigit() or 'refuri' in node or \ node.tagname.startswith('desc_'): # ignore footnote labels, labels automatically generated from a # link and object descriptions |