doc/hgmanpage.py
changeset 42060 93a1a4fef532
parent 42059 51df72655b1a
child 43076 2372284d9457
--- a/doc/hgmanpage.py	Thu Apr 04 19:08:05 2019 +0200
+++ b/doc/hgmanpage.py	Thu Apr 04 19:08:37 2019 +0200
@@ -335,7 +335,7 @@
                 elif style.endswith('roman'):
                     self._indent = 5
 
-            def next(self):
+            def __next__(self):
                 if self._style == 'bullet':
                     return self.enum_style[self._style]
                 elif self._style == 'emdash':
@@ -353,6 +353,9 @@
                     return res.lower()
                 else:
                     return "%d." % self._cnt
+
+            next = __next__
+
             def get_width(self):
                 return self._indent
             def __repr__(self):