equal
deleted
inserted
replaced
147 continue |
147 continue |
148 results['commands'].append((cmdname, summary)) |
148 results['commands'].append((cmdname, summary)) |
149 for name, docs in itertools.chain( |
149 for name, docs in itertools.chain( |
150 extensions.enabled(False).iteritems(), |
150 extensions.enabled(False).iteritems(), |
151 extensions.disabled().iteritems()): |
151 extensions.disabled().iteritems()): |
|
152 if not docs: |
|
153 continue |
152 mod = extensions.load(ui, name, '') |
154 mod = extensions.load(ui, name, '') |
153 name = name.rpartition('.')[-1] |
155 name = name.rpartition('.')[-1] |
154 if lowercontains(name) or lowercontains(docs): |
156 if lowercontains(name) or lowercontains(docs): |
155 # extension docs are already translated |
157 # extension docs are already translated |
156 results['extensions'].append((name, docs.splitlines()[0])) |
158 results['extensions'].append((name, docs.splitlines()[0])) |