diff options
| author | Nathan Binkert <nate@binkert.org> | 2009-08-16 13:39:58 -0700 |
|---|---|---|
| committer | Nathan Binkert <nate@binkert.org> | 2009-08-16 13:39:58 -0700 |
| commit | e1270f81bdc81f5a575b34c2d2c294bdde3e6f4f (patch) | |
| tree | b54af3469a338609faf04e67603c5264e79d59a5 /ext/ply/doc/makedoc.py | |
| parent | bcaf93d182f43bf72d52104bb909324945904120 (diff) | |
| download | gem5-e1270f81bdc81f5a575b34c2d2c294bdde3e6f4f.tar.xz | |
ply: update PLY to version 3.2
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: |