equal
deleted
inserted
replaced
61 s = attr[2] |
61 s = attr[2] |
62 d['synopsis'] = s.strip() |
62 d['synopsis'] = s.strip() |
63 |
63 |
64 return d |
64 return d |
65 |
65 |
66 def show_doc(ui): |
66 def showdoc(ui): |
67 # print options |
67 # print options |
68 ui.write(minirst.section(_("Options"))) |
68 ui.write(minirst.section(_("Options"))) |
69 for optstr, desc in get_opts(globalopts): |
69 for optstr, desc in get_opts(globalopts): |
70 ui.write("%s\n %s\n\n" % (optstr, desc)) |
70 ui.write("%s\n %s\n\n" % (optstr, desc)) |
71 |
71 |
155 |
155 |
156 def allextensionnames(): |
156 def allextensionnames(): |
157 return extensions.enabled().keys() + extensions.disabled().keys() |
157 return extensions.enabled().keys() + extensions.disabled().keys() |
158 |
158 |
159 if __name__ == "__main__": |
159 if __name__ == "__main__": |
160 show_doc(sys.stdout) |
160 showdoc(sys.stdout) |