doc/gendoc.py
changeset 14461 f5b0834cf685
parent 14316 d5b525697ddb
child 14943 d3bb825ddae3
equal deleted inserted replaced
14460:d5f616132c10 14461:f5b0834cf685
    85     section(ui, _("Commands"))
    85     section(ui, _("Commands"))
    86     commandprinter(ui, table, subsection)
    86     commandprinter(ui, table, subsection)
    87 
    87 
    88     # print topics
    88     # print topics
    89     for names, sec, doc in helptable:
    89     for names, sec, doc in helptable:
       
    90         if names[0] == "config":
       
    91             # The config help topic is included in the hgrc.5 man
       
    92             # page.
       
    93             continue
    90         for name in names:
    94         for name in names:
    91             ui.write(".. _%s:\n" % name)
    95             ui.write(".. _%s:\n" % name)
    92         ui.write("\n")
    96         ui.write("\n")
    93         section(ui, sec)
    97         section(ui, sec)
    94         if hasattr(doc, '__call__'):
    98         if hasattr(doc, '__call__'):