+# Create the one-page version of the documentation
+onepageFile = open(global_site_dir + 'ardourmanual.html', 'w')
+opsidebar = BuildOnePageSidebar(fileStruct) # create the link sidebar
+onepage = onepage.replace('{% tree %}', opsidebar)
+onepage = onepage.replace('{{ content }}', '') # cleans up the last spaceholder
+onepageFile.write(onepage)
+onepageFile.close()
+
+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')
+