equal
deleted
inserted
replaced
85 'commands': [], |
85 'commands': [], |
86 'extensions': [], |
86 'extensions': [], |
87 'extensioncommands': [], |
87 'extensioncommands': [], |
88 } |
88 } |
89 for names, header, doc in helptable: |
89 for names, header, doc in helptable: |
|
90 # Old extensions may use a str as doc. |
90 if (sum(map(lowercontains, names)) |
91 if (sum(map(lowercontains, names)) |
91 or lowercontains(header) |
92 or lowercontains(header) |
92 or lowercontains(doc())): |
93 or (callable(doc) and lowercontains(doc()))): |
93 results['topics'].append((names[0], header)) |
94 results['topics'].append((names[0], header)) |
94 import commands # avoid cycle |
95 import commands # avoid cycle |
95 for cmd, entry in commands.table.iteritems(): |
96 for cmd, entry in commands.table.iteritems(): |
96 if len(entry) == 3: |
97 if len(entry) == 3: |
97 summary = entry[2] |
98 summary = entry[2] |