doc/gendoc.py
changeset 16683 525fdb738975
parent 14943 d3bb825ddae3
child 17267 979b107eaea2
equal deleted inserted replaced
16676:654b9e1966f7 16683:525fdb738975
   100             doc = doc()
   100             doc = doc()
   101         ui.write(doc)
   101         ui.write(doc)
   102         ui.write("\n")
   102         ui.write("\n")
   103 
   103 
   104     section(ui, _("Extensions"))
   104     section(ui, _("Extensions"))
   105     ui.write(_("This section contains help for extensions that are distributed "
   105     ui.write(_("This section contains help for extensions that are "
   106                "together with Mercurial. Help for other extensions is available "
   106                "distributed together with Mercurial. Help for other "
   107                "in the help system."))
   107                "extensions is available in the help system."))
   108     ui.write("\n\n"
   108     ui.write("\n\n"
   109              ".. contents::\n"
   109              ".. contents::\n"
   110              "   :class: htmlonly\n"
   110              "   :class: htmlonly\n"
   111              "   :local:\n"
   111              "   :local:\n"
   112              "   :depth: 1\n\n")
   112              "   :depth: 1\n\n")