diff -r 43d55088415a -r 67964cda8701 doc/hgmanpage.py --- a/doc/hgmanpage.py Sat May 12 16:00:53 2012 +0200 +++ b/doc/hgmanpage.py Sat May 12 16:00:57 2012 +0200 @@ -582,7 +582,7 @@ self._docinfo[name], self.defs['indent'][1], self.defs['indent'][1])) - elif not name in skip: + elif name not in skip: if name in self._docinfo_names: label = self._docinfo_names[name] else: