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