diff --git a/generate.py b/generate.py index 0c70f70..344fd4d 100644 --- a/generate.py +++ b/generate.py @@ -39,6 +39,7 @@ def parseRawHTML(doc, line, htmlstring, rawhtml, id, maxlines): htmlstring = htmlstring + line.strip() #if indented html was the last line, this is needed for it to not be ignored + #since this is the end of the file, we will not set rawhtml to False. if maxlines - id == 1: doc.div(HTML(htmlstring)) else: @@ -92,5 +93,5 @@ for file in os.listdir("./"): if file.endswith(".page"): with open(file, 'r') as page: generateLines(os.path.basename(file), page.readlines()) - pagescount=pagescount+1 + pagescount += 1 print("Generated " + str(pagescount) + " pages")