--- a/doc/hgmanpage.py	Thu Jul 22 14:30:29 2010 +0900
+++ b/doc/hgmanpage.py	Thu Jul 22 14:33:50 2010 +0900
@@ -303,7 +303,7 @@
 
             def __init__(self, style):
                 self._style = style
-                if node.has_key('start'):
+                if 'start' in node:
                     self._cnt = node['start'] - 1
                 else:
                     self._cnt = 0
@@ -345,7 +345,7 @@
             def __repr__(self):
                 return 'enum_style-%s' % list(self._style)
 
-        if node.has_key('enumtype'):
+        if 'enumtype' in node:
             self._list_char.append(enum_char(node['enumtype']))
         else:
             self._list_char.append(enum_char('bullet'))