diff -r ec7b478f1bf8 -r 51df72655b1a doc/hgmanpage.py --- 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 '):