ply/doc/makedoc.py

99         prevheadingtext = m.group(2)
103         result.append("""<H2><a name="%s"></a>%d. %s</H2>""" % (headingname,section, prevheadingtext))
114         index += """<li><a href="#%s">%s</a>\n""" % (headingname,prevheadingtext)
122         prevheadingtext = m.group(2)
126         result.append("""<H3><a name="%s"></a>%d.%d %s</H3>""" % (headingname,section, subsection, prevheadingtext))
135         index += """<li><a href="#%s">%s</a>\n""" % (headingname,prevheadingtext)
141         prevheadingtext = m.group(2)
146         result.append("""<H4><a name="%s"></a>%d.%d.%d %s</H4>""" % (headingname,section, subsection, subsubsection, prevheadingtext))
153         index += """<li><a href="#%s">%s</a>\n""" % (headingname,prevheadingtext)
158         prevheadingtext = m.group(2)
162         result.append("""<H5><a name="%s"></a>%d.%d.%d.%d %s</H5>""" % (headingname,section, subsection, subsubsection, subsubsubsection, prevheadingtext))
167         index += """<li><a href="#%s">%s</a>\n""" % (headingname,prevheadingtext)