diff --git a/scripts/pdf/render.py b/scripts/pdf/render.py index 102dacaeb3..5985fd393a 100644 --- a/scripts/pdf/render.py +++ b/scripts/pdf/render.py @@ -15,106 +15,54 @@ import markdown import argparse from datetime import datetime -from weasyprint import HTML - +from weasyprint import HTML, CSS def main(loc, colorscheme): - oslist = [] - allmd = [] - group = [] - ap = [] - # Checking correctness of path if not os.path.isdir(loc): print("Invalid directory. Please try again!", file=sys.stderr) sys.exit(1) - # Writing names of all directories inside 'pages' to a list - for os_dir in os.listdir(loc): - oslist.append(os_dir) - - oslist.sort() - - # Required strings to create intermediate HTML files - header = '
' + # Set up css style sheets + csslist = ["basic.css"] if colorscheme != "basic": - header += '\n' + csslist.append(colorscheme + ".css") - header += "\n" - footer = "" - title_content = "