gendoc: re-add indentation to global option table stable
authorMartin Geisler <mg@lazybytes.net>
Sat, 23 Oct 2010 00:01:09 +0200
branchstable
changeset 12812 4d431a31a76e
parent 12811 0e284735e65b
child 12813 13fdef670c43
gendoc: re-add indentation to global option table The indentation was lost in bdc1cf692447.
doc/gendoc.py
--- a/doc/gendoc.py	Fri Oct 22 22:58:17 2010 +0200
+++ b/doc/gendoc.py	Sat Oct 23 00:01:09 2010 +0200
@@ -79,7 +79,7 @@
     # print options
     section(ui, _("Options"))
     for optstr, desc in get_opts(globalopts):
-        ui.write("%s\n%s\n\n" % (optstr, desc))
+        ui.write("%s\n    %s\n\n" % (optstr, desc))
 
     # print cmds
     section(ui, _("Commands"))