Remove the PDF button if it is not created with the -p / --pdf option

diff --git a/build.py b/build.py
index 4424f76bea483d2cfa710ec23ce64d99bca40ad8..3056faf919f61311d654281042ae28b93b65e497 100755 (executable)
--- 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)

diff --git a/page-template.html b/page-template.html
index 026d0be92580811f25605492082e1e1cd12587f5..cf8506a7a7993ef3bc13e7f68539d031780bd96d 100644 (file)
--- a/page-template.html
+++ b/page-template.html
@@ -27,7 +27,7 @@
                                                <input type="text" class="form-control" placeholder="Search &hellip;" name="q">
                                                <span class="input-group-btn">
                                                        <button class="btn btn-default" type="submit"><span class="glyphicon glyphicon-search" aria-hidden="true"></span></button>
-                                                       <button class="btn btn-default" type="button" onclick="window.location.href='/manual.pdf'"><span class="glyphicon glyphicon-book" aria-hidden="true"></span></button>
+                                                       {{page.page_pdflink}}
                                                </span>
                                        </div>
                                        <input type="hidden" name="sites" value="manual.ardour.org"><!-- domain -->