+if not nopdf:
+ if not quiet:
+ print('Generating the PDF...')
+
+ # Create the PDF version of the documentation
+ pdfpageFile = open(global_site_dir + 'pdf.html', 'w')
+ pdfpage = pdfpage.replace('{% tree %}', opsidebar) # create the TOC
+ pdfpage = pdfpage.replace('{{ content }}', '') # cleans up the last spaceholder
+ pdfpage = pdfpage.replace('src="/images/', 'src="images/') # makes images links relative
+ pdfpage = pdfpage.replace('url(\'/images/', 'url(\'images/') # CSS images links relative
+ pdfpageFile.write(pdfpage)
+ pdfpageFile.close()
+
+ from weasyprint import HTML
+ doc = HTML(filename = global_site_dir + 'pdf.html')
+ doc.write_pdf(global_site_dir + 'manual.pdf')