changeset 16686 | 67964cda8701 |
parent 16611 | 462dd183bd73 |
child 17487 | 1bdce7e918bb |
--- 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: