diff 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
line wrap: on
line diff
--- 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"))