# HG changeset patch
# User Martin Geisler <mg@lazybytes.net>
# Date 1287784869 -7200
# Node ID 4d431a31a76edcf9e8279c58f255ae863df63149
# Parent  0e284735e65b15f4e01e5d8943de8addef9c2d04
gendoc: re-add indentation to global option table

The indentation was lost in bdc1cf692447.

diff -r 0e284735e65b -r 4d431a31a76e 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"))