comparison doc/gendoc.py @ 12812:4d431a31a76e stable

gendoc: re-add indentation to global option table The indentation was lost in bdc1cf692447.
author Martin Geisler <mg@lazybytes.net>
date Sat, 23 Oct 2010 00:01:09 +0200
parents e0e8b123b75e
children 13fdef670c43
comparison
equal deleted inserted replaced
12811:0e284735e65b 12812:4d431a31a76e
77 77
78 def show_doc(ui): 78 def show_doc(ui):
79 # print options 79 # print options
80 section(ui, _("Options")) 80 section(ui, _("Options"))
81 for optstr, desc in get_opts(globalopts): 81 for optstr, desc in get_opts(globalopts):
82 ui.write("%s\n%s\n\n" % (optstr, desc)) 82 ui.write("%s\n %s\n\n" % (optstr, desc))
83 83
84 # print cmds 84 # print cmds
85 section(ui, _("Commands")) 85 section(ui, _("Commands"))
86 commandprinter(ui, table, subsection) 86 commandprinter(ui, table, subsection)
87 87