diff options
| author | Polina Dudnik <pdudnik@gmail.com> | 2009-08-17 11:33:32 -0500 |
|---|---|---|
| committer | Polina Dudnik <pdudnik@gmail.com> | 2009-08-17 11:33:32 -0500 |
| commit | c438b2e431066d9324238e1c678ef68a3b721f33 (patch) | |
| tree | b79e72b3074441ce01d5c95207f96f71d16bed35 /ext/ply/doc/makedoc.py | |
| parent | 6654fe02daf6285cb43aa1c6e0e35f6c9c8786f1 (diff) | |
| parent | a43ae579dd3128a0ced2238532f26d99db197361 (diff) | |
| download | gem5-c438b2e431066d9324238e1c678ef68a3b721f33.tar.xz | |
Branch Merge
Diffstat (limited to 'ext/ply/doc/makedoc.py')
| -rw-r--r-- | ext/ply/doc/makedoc.py | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/ext/ply/doc/makedoc.py b/ext/ply/doc/makedoc.py index 3eed9bd74..415a53aa0 100644 --- a/ext/ply/doc/makedoc.py +++ b/ext/ply/doc/makedoc.py @@ -93,7 +93,7 @@ for s in lines: result.append("") result.append("") skipspace = 0 - + m = h2.match(s) if m: prevheadingtext = m.group(2) @@ -115,7 +115,7 @@ for s in lines: subsection = 0 subsubsection = 0 subsubsubsection = 0 - skipspace = 1 + skipspace = 1 continue m = h3.match(s) if m: @@ -134,7 +134,7 @@ for s in lines: index += """<li><a href="#%s">%s</a>\n""" % (headingname,prevheadingtext) subsubsection = 0 - skipspace = 1 + skipspace = 1 continue m = h4.match(s) if m: @@ -151,7 +151,7 @@ for s in lines: index += "<ul>\n" index += """<li><a href="#%s">%s</a>\n""" % (headingname,prevheadingtext) - skipspace = 1 + skipspace = 1 continue m = h5.match(s) if m: @@ -167,7 +167,7 @@ for s in lines: index += """<li><a href="#%s">%s</a>\n""" % (headingname,prevheadingtext) skipspace = 1 continue - + result.append(s) if subsubsubsection: |