diff -r 4e35dea77e31 -r 979b107eaea2 doc/gendoc.py --- a/doc/gendoc.py Mon Jul 23 19:03:32 2012 +0200 +++ b/doc/gendoc.py Wed Jul 25 16:40:38 2012 +0900 @@ -64,16 +64,16 @@ return d def section(ui, s): - ui.write("%s\n%s\n\n" % (s, "-" * encoding.colwidth(s))) + ui.write("%s\n%s\n\n" % (s, "\"" * encoding.colwidth(s))) def subsection(ui, s): - ui.write("%s\n%s\n\n" % (s, '"' * encoding.colwidth(s))) + ui.write("%s\n%s\n\n" % (s, '=' * encoding.colwidth(s))) def subsubsection(ui, s): - ui.write("%s\n%s\n\n" % (s, "." * encoding.colwidth(s))) + ui.write("%s\n%s\n\n" % (s, "-" * encoding.colwidth(s))) def subsubsubsection(ui, s): - ui.write("%s\n%s\n\n" % (s, "#" * encoding.colwidth(s))) + ui.write("%s\n%s\n\n" % (s, "." * encoding.colwidth(s))) def show_doc(ui):