--- a/doc/gendoc.py	Mon Aug 03 00:01:50 2009 +0200
+++ b/doc/gendoc.py	Fri Jul 31 11:40:03 2009 +0200
@@ -54,18 +54,18 @@
     return d
 
 def show_doc(ui):
-    def bold(s, text=""):
-        ui.write("%s\n%s\n%s\n" % (s, "="*len(s), text))
-    def underlined(s, text=""):
-        ui.write("%s\n%s\n%s\n" % (s, "-"*len(s), text))
+    def section(s):
+        ui.write("%s\n%s\n\n" % (s, "-" * len(s)))
+    def subsection(s):
+        ui.write("%s\n%s\n\n" % (s, '"' * len(s)))
 
     # print options
-    underlined(_("OPTIONS"))
+    section(_("OPTIONS"))
     for optstr, desc in get_opts(globalopts):
         ui.write("%s\n    %s\n\n" % (optstr, desc))
 
     # print cmds
-    underlined(_("COMMANDS"))
+    section(_("COMMANDS"))
     h = {}
     for c, attr in table.items():
         f = c.split("|")[0]
@@ -101,8 +101,8 @@
             ui.write(_("    aliases: %s\n\n") % " ".join(d['aliases']))
 
     # print topics
-    for names, section, doc in helptable:
-        underlined(section.upper())
+    for names, sec, doc in helptable:
+        section(sec.upper())
         if callable(doc):
             doc = doc()
         ui.write(doc)