From f320863c9d84f98773d6ec5878820dd69392dc69 Mon Sep 17 00:00:00 2001 From: Kyle Anthony Williams Date: Sat, 19 Dec 2020 14:58:03 -0500 Subject: [PATCH] Repaired indentation error. --- scripts/pdf/render.py | 32 ++++++++++++++++---------------- 1 file changed, 16 insertions(+), 16 deletions(-) diff --git a/scripts/pdf/render.py b/scripts/pdf/render.py index 80f18be7d..ff8c32d49 100644 --- a/scripts/pdf/render.py +++ b/scripts/pdf/render.py @@ -72,27 +72,27 @@ def main(loc, colorscheme): # Sorting all filenames in the directory, to maintain the order of the PDF allmd.sort() - # Conversion of Markdown to HTML - for page_number, md in enumerate(allmd, start=1): + # Conversion of Markdown to HTML + for page_number, md in enumerate(allmd, start=1): - with open(md, "r") as inp: - text = inp.readlines() + with open(md, "r") as inp: + text = inp.readlines() - with open("htmlout.html", "w") as out: - out.write(header) + with open("htmlout.html", "w") as out: + out.write(header) - for line in text: - if re.match(r'^>', line): - line = line[:0] + '####' + line[1:] - html = markdown.markdown(line) - out.write(html) - out.write(footer) + for line in text: + if re.match(r'^>', line): + line = line[:0] + '####' + line[1:] + html = markdown.markdown(line) + out.write(html) + out.write(footer) - group.append(HTML("htmlout.html").render()) - print("Rendered page {} of the directory {}".format( - str(page_number), operating_sys)) + group.append(HTML("htmlout.html").render()) + print("Rendered page {} of the directory {}".format( + str(page_number), operating_sys)) - allmd.clear() + allmd.clear() # Merging all the documents into a single PDF for doc in group: