diff doc/gendoc.py @ 9792:dd1a95ccbe07

doc: use titlecase in man page section titles

--- a/doc/gendoc.py	Sun Nov 08 11:41:34 2009 +0100
+++ b/doc/gendoc.py	Sun Nov 08 11:46:38 2009 +0100
@@ -61,12 +61,12 @@
         ui.write("%s\n%s\n\n" % (s, '"' * encoding.colwidth(s)))
 
     # print options
-    section(_("OPTIONS"))
+    section(_("Options"))
     for optstr, desc in get_opts(globalopts):
         ui.write("%s\n    %s\n\n" % (optstr, desc))
 
     # print cmds
-    section(_("COMMANDS"))
+    section(_("Commands"))
     h = {}
     for c, attr in table.items():
         f = c.split("|")[0]
@@ -104,7 +104,7 @@
         for name in names:
             ui.write(".. _%s:\n" % name)
         ui.write("\n")
-        section(sec.upper())
+        section(sec)
         if callable(doc):
             doc = doc()
         ui.write(doc)