From 6507faf60b835df4d0bd8469c61bf25b09db5471 Mon Sep 17 00:00:00 2001 From: Govindas Date: Mon, 24 Jan 2022 16:06:16 +0200 Subject: [PATCH] Small improvement --- generate.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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")