From 43fa339794524ced04678aa46e05d93ed393dd63 Mon Sep 17 00:00:00 2001
From: Sunny Chung <sunnychung@live.hk>
Date: Sat, 25 Nov 2023 13:01:01 +0800
Subject: [PATCH] fix doc site github actions

---
 .github/workflows/docsite.yaml | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/docsite.yaml b/.github/workflows/docsite.yaml
index 53eae238..3d67e713 100644
--- a/.github/workflows/docsite.yaml
+++ b/.github/workflows/docsite.yaml
@@ -34,8 +34,10 @@ jobs:
       - name: Build
         shell: bash
         run: |
-          brew install doctave/doctave/doctave
-          doctave build --release --allow-failed-checks
+          curl -LO "https://github.com/Doctave/doctave/releases/download/0.4.2/doctave-0.4.2-x86_64-unknown-linux-musl.tar.gz"
+          tar -xzf doctave-0.4.2-x86_64-unknown-linux-musl.tar.gz
+          mv doctave-0.4.2-x86_64-unknown-linux-musl/doctave ./
+          ./doctave build --release --allow-failed-checks
       - name: Setup Pages
         uses: actions/configure-pages@v3
       - name: Upload artifact