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'
     ;;