diff options
| author | Mickaël Schoentgen <contact@tiger-222.fr> | 2018-11-01 17:29:50 +0100 |
|---|---|---|
| committer | Mickaël Schoentgen <contact@tiger-222.fr> | 2018-11-09 10:29:21 +0100 |
| commit | 94cb676ac8a38271b92bc72f251067d073aa69d4 (patch) | |
| tree | 74dcb92d394a50e5fa630e20c385db760544e01f /doc | |
| parent | d406e718d7ef23c2cb83bb38bc156f3cccffcf6f (diff) | |
| download | ply-94cb676ac8a38271b92bc72f251067d073aa69d4.tar.gz | |
Remove semilicons left
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/makedoc.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/makedoc.py b/doc/makedoc.py index ed3cba7..e5cbdb0 100644 --- a/doc/makedoc.py +++ b/doc/makedoc.py @@ -25,7 +25,7 @@ alink = re.compile(r"<a *name *= *\"(.*)\"></a>", re.IGNORECASE) heading = re.compile(r"(_nn\d)", re.IGNORECASE) def getheadingname(m): - autogeneratedheading = True; + autogeneratedheading = True if m.group(1) != None: amatch = alink.match(m.group(1)) if amatch: @@ -83,7 +83,7 @@ for s in lines: skip = 1 else: skip = 0 - continue; + continue if skip: continue @@ -187,7 +187,7 @@ index += "</div>\n<!-- INDEX -->\n" data = "\n".join(result) -data = data.replace("@INDEX@",index) + "\n"; +data = data.replace("@INDEX@",index) + "\n" # Write the file back out with open(filename,"w") as f: |