doc/hgmanpage.py
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: