X-Git-Url: http://shamusworld.gotdns.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=build.py;h=3056faf919f61311d654281042ae28b93b65e497;hb=2639f322ce092a285122d8a4bfb5297e883003de;hp=4424f76bea483d2cfa710ec23ce64d99bca40ad8;hpb=f04db3fe5d2b7eba806d154e215466a2884bdb0c;p=ardour-manual

diff --git a/build.py b/build.py
index 4424f76..3056faf 100755
--- a/build.py
+++ b/build.py
@@ -27,6 +27,7 @@ global_screen_template = 'page-template.html'
 global_onepage_template = 'onepage-template.html'
 global_pdf_template = 'pdf-template.html'
 global_master_doc = 'master-doc.txt'
+global_pdflink = '<button class="btn btn-default" type="button" onclick="window.location.href=\'/manual.pdf\'"><span class="glyphicon glyphicon-book" aria-hidden="true"></span></button>'
 from datetime import datetime
 global_today_iso = datetime.today().strftime('%Y-%m-%dT%H%M%S')
 global_today = datetime.today().strftime('%Y-%m-%d')
@@ -456,6 +457,11 @@ template = temp.read()
 temp.close()
 template = template.replace('{{page.bootstrap_path}}', global_bootstrap_path)
 template = template.replace('{{page.page_title}}', global_page_title)
+if pdf:
+	template = template.replace('{{page.page_pdflink}}', global_pdflink)
+else:
+	template = template.replace('{{page.page_pdflink}}', '')
+
 
 # Same as above, but for the "One-Page" version
 temp = open(global_onepage_template)