From b1956d3af8912af825cf1234ef84540f789b26a6 Mon Sep 17 00:00:00 2001
From: Alessandro Pignotti <a.pignotti@sssup.it>
Date: Tue, 15 Oct 2024 19:14:04 +0200
Subject: [PATCH] GH: Do not deploy alpine

---
 .github/workflows/deploy.yml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
index b8b4fb8..632ef22 100644
--- a/.github/workflows/deploy.yml
+++ b/.github/workflows/deploy.yml
@@ -190,7 +190,10 @@ jobs:
           WEBVM_MODE=github npm run build
 
       # Move required files for gh-pages deployment to the deployment directory $DEPLOY_DIR.
-      - run: sudo mv build/* $DEPLOY_DIR/
+      - name: Copy build
+        run: |
+          rm build/alpine.html
+          sudo mv build/* $DEPLOY_DIR/
 
       # We generate index.list files for our httpfs to function properly.
       - name: make index.list