diff --git a/docs/_layouts/default.html b/docs/_layouts/default.html index f0cad786..fcd768c7 100644 --- a/docs/_layouts/default.html +++ b/docs/_layouts/default.html @@ -18,12 +18,15 @@ {{ page.title | default: site.title | default: site.github.repository_name }} {{ page.description | default: site.description | default: site.github.project_tagline }} - {% if site.github.is_project_page %} + {% if site.github.is_project_page and page.url == "/" %} View on GitHub - {% endif %} - {% if site.show_downloads %} - Download .zip - Download .tar.gz + {% for asset in site.github.latest_release.assets %} + {% assign fileext = asset.name | split: '.' | last %} + {% if fileext == "deb" %} + {% assign shortname = asset.name | remove: "libarbitration-graphs-" | remove: "-dev.deb" | capitalize %} + Download {{ shortname }} .deb + {% endif %} + {% endfor %} {% endif %}