<input type="text" class="form-control" placeholder="Search …" 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='/ardourmanual.html'"><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 -->