From dff223f195bbd0ed4fbaec30b761b963550f2c57 Mon Sep 17 00:00:00 2001
From: Ole Frost <82263101+olefrost@users.noreply.github.com>
Date: Fri, 21 Oct 2022 09:54:16 +0200
Subject: [PATCH] install.sh: fix arm-v7 download

---
 docs/content/install.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/docs/content/install.sh b/docs/content/install.sh
index 8a8242fee..336dadce1 100755
--- a/docs/content/install.sh
+++ b/docs/content/install.sh
@@ -106,6 +106,9 @@ case "$OS_type" in
   aarch64|arm64)
     OS_type='arm64'
     ;;
+  armv7*)
+    OS_type='arm-v7'
+    ;;
   arm*)
     OS_type='arm'
     ;;