--- 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'))