diff options
-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: |