diff options
| -rwxr-xr-x | docs/xsl/fixxref.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/xsl/fixxref.py b/docs/xsl/fixxref.py index c7535b6..e476529 100755 --- a/docs/xsl/fixxref.py +++ b/docs/xsl/fixxref.py @@ -30,7 +30,7 @@ def fix_xrefs(hdir): def link_subst(m): id, text = m.groups() - if anchors.has_key(id): + if id in anchors.keys(): return '<a\nhref="../' + anchors[id] + '"\n>' + text + '</a>' return text |