From 47c35f5f9dd650ef15231d67220fcf441fcbeb71 Mon Sep 17 00:00:00 2001
From: Piotr Spieker <orzechow@posteo.de>
Date: Mon, 18 Nov 2024 18:37:24 +0100
Subject: [PATCH] Show debian package download links in header

---
 docs/_layouts/default.html | 13 ++++++++-----
 1 file changed, 8 insertions(+), 5 deletions(-)

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 @@
     <header class="page-header" role="banner">
       <h1 class="project-name">{{ page.title | default: site.title | default: site.github.repository_name }}</h1>
       <h2 class="project-tagline">{{ page.description | default: site.description | default: site.github.project_tagline }}</h2>
-      {% if site.github.is_project_page %}
+      {% if site.github.is_project_page and page.url == "/" %}
         <a href="{{ site.github.repository_url }}" class="btn">View on GitHub</a>
-      {% endif %}
-      {% if site.show_downloads %}
-        <a href="{{ site.github.zip_url }}" class="btn">Download .zip</a>
-        <a href="{{ site.github.tar_url }}" class="btn">Download .tar.gz</a>
+        {% 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 %}
+            <a href="{{ asset.browser_download_url }}" class="btn">Download {{ shortname }} .deb</a>
+          {% endif %}
+        {% endfor %}
       {% endif %}
     </header>