changeset 42059 | 51df72655b1a |
parent 41553 | eb14ab7db33e |
child 42060 | 93a1a4fef532 |
--- a/doc/hgmanpage.py Thu Apr 04 19:06:48 2019 +0200 +++ b/doc/hgmanpage.py Thu Apr 04 19:08:05 2019 +0200 @@ -263,7 +263,7 @@ # ensure we get a ".TH" as viewers require it. self.head.append(self.header()) # filter body - for i in xrange(len(self.body) - 1, 0, -1): + for i in range(len(self.body) - 1, 0, -1): # remove superfluous vertical gaps. if self.body[i] == '.sp\n': if self.body[i - 1][:4] in ('.BI ','.IP '):