Small improvement
This commit is contained in:
parent
1319e9967a
commit
6507faf60b
@ -39,6 +39,7 @@ def parseRawHTML(doc, line, htmlstring, rawhtml, id, maxlines):
|
|||||||
htmlstring = htmlstring + line.strip()
|
htmlstring = htmlstring + line.strip()
|
||||||
|
|
||||||
#if indented html was the last line, this is needed for it to not be ignored
|
#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:
|
if maxlines - id == 1:
|
||||||
doc.div(HTML(htmlstring))
|
doc.div(HTML(htmlstring))
|
||||||
else:
|
else:
|
||||||
@ -92,5 +93,5 @@ for file in os.listdir("./"):
|
|||||||
if file.endswith(".page"):
|
if file.endswith(".page"):
|
||||||
with open(file, 'r') as page:
|
with open(file, 'r') as page:
|
||||||
generateLines(os.path.basename(file), page.readlines())
|
generateLines(os.path.basename(file), page.readlines())
|
||||||
pagescount=pagescount+1
|
pagescount += 1
|
||||||
print("Generated " + str(pagescount) + " pages")
|
print("Generated " + str(pagescount) + " pages")
|
||||||
|
Loading…
Reference in New Issue
Block a user